pte1_is_wired
if (pte1_is_wired(opte1))
KASSERT(!pte1_is_wired(opte1),
if (pte1_is_wired(pte1)) {
if (pte1_is_wired(pte1))
if (pte1_is_wired(pte1))
!pte1_is_wired(opte1)) {
if (!pte1_is_wired(pte1))
if (!pte1_is_wired(opte1)) {
!pte1_is_wired(opte1)) {