Symbol: pmap_pde_ept_executable
sys/amd64/amd64/pmap.c
6856
if (!pmap_allow_2m_x_page(pmap, pmap_pde_ept_executable(pmap, newpde)))
sys/amd64/amd64/pmap.c
7460
if (!pmap_allow_2m_x_page(pmap, pmap_pde_ept_executable(pmap,