PTE_RX
if ((l2e & PTE_RX) != 0) {
KASSERT((l2e & PTE_RX) == 0,
if ((pmap_load(l0) & PTE_RX) != 0)
if ((pmap_load(l1) & PTE_RX) != 0)
KASSERT((pmap_load(l2) & PTE_RX) == 0,
if ((pmap_load(l2) & PTE_RX) != 0)
if ((pmap_load(l1p) & PTE_RX) != 0) {
if ((pmap_load(l2p) & PTE_RX) != 0) {