Symbol: pmap_ept_pdes_invalid
sys/arch/x86/x86/pmap.c
6549
if (!pmap_ept_pdes_invalid(pmap, va, &pde)) {
sys/arch/x86/x86/pmap.c
6693
lvl = pmap_ept_pdes_invalid(pmap, va, &pde);
sys/arch/x86/x86/pmap.c
6839
if (pmap_ept_pdes_invalid(pmap, va, &pde)) {
sys/arch/x86/x86/pmap.c
6883
if (pmap_ept_pdes_invalid(pmap, va, &pde)) {