pmap_valid_entry
if (!pmap_valid_entry(pdir[pl2_pi(va)])) {
if (!pmap_valid_entry(pdir[pl1_pi(va)])) {
if (!pmap_valid_entry(L4_BASE[pl4_i(va)])) {
if (!pmap_valid_entry(L3_BASE[pl3_i(va)])) {
if (!pmap_valid_entry(L2_BASE[pl2_i(va)])) {
if (!pmap_valid_entry(L1_BASE[pl1_i(va)])) {
if (!pmap_valid_entry(pdir[pl4_pi(va)])) {
if (!pmap_valid_entry(pdir[pl3_pi(va)])) {
if (!pmap_valid_entry(L4_BASE[pl4_i(va)])) {
if (!pmap_valid_entry(L3_BASE[pl3_i(va)])) {
if (!pmap_valid_entry(L2_BASE[pl2_i(va)])) {
if (!pmap_valid_entry(L1_BASE[pl1_i(va)])) {
if (pmap_valid_entry(PTE_BASE[p1i]))
if (pmap_valid_entry(PTE_BASE[p1i]))
if (pmap_valid_entry(PTE_BASE[p1i]))
if (pmap_valid_entry(pva[index])) {
if (!pmap_valid_entry(opte)) {
if (!pmap_valid_entry(*pte)) {
if (!pmap_valid_entry(opte)) {
if (!pmap_valid_entry(opte)) {
KASSERT(pmap_valid_entry(opte));
pmap_valid_entry(pmap->pm_pdir[pl_i(va, PTP_LEVELS)]),
bool have_oldpa = pmap_valid_entry(opte);
bool have_oldpa = pmap_valid_entry(opte);
KASSERT(pmap_valid_entry(ptes[pl1_i(va)]));
KASSERT(!pmap_valid_entry(pdep[i]));
if (!pmap_valid_entry(*pte))
if (!pmap_valid_entry(dstpde[pidx])) {
if (!pmap_valid_entry(srcpde[idx])) {
if (pmap_valid_entry(dstpde[pidx])) {
if (!pmap_valid_entry(srcpde[idx])) {
if (pmap_valid_entry(dstpde[pidx])) {
if (pmap_valid_entry(pd[pidx])) {
if (pmap_valid_entry(L1_BASE[pl1_i(utlsva)])) {
if (pmap_valid_entry(pd[pidx])) {
if (pmap_valid_entry(opte)) {