PTE_ISWIRED
if (!PTE_ISWIRED(pte)) {
if (PTE_ISWIRED(pte)) {
if (!PTE_ISWIRED(pte))
if (PTE_ISVALID(pte) && PTE_ISWIRED(pte))
if (PTE_ISWIRED(pte))
if (PTE_ISWIRED(pte))