sys/arch/x86/x86/pmap.c

6203

KASSERT(pmap_ept_valid_entry(pteva[index]));

sys/arch/x86/x86/pmap.c

6259

if (pmap_ept_valid_entry(pteva[index])) {

sys/arch/x86/x86/pmap.c

6404

bool have_oldpa = pmap_ept_valid_entry(opte);

sys/arch/x86/x86/pmap.c

6515

if (!pmap_ept_valid_entry(pteva[index]))

sys/arch/x86/x86/pmap.c

6582

if (!pmap_ept_valid_entry(*pte)) {

sys/arch/x86/x86/pmap.c

6589

if (!pmap_ept_valid_entry(opte)) {

sys/arch/x86/x86/pmap.c

6849

if (!pmap_ept_valid_entry(opte)) {

sys/arch/x86/x86/pmap.c

6891

KASSERT(pmap_ept_valid_entry(opte));