Symbol: EPT_PG_EXECUTE
sys/amd64/amd64/pmap.c
331
if ((pte & EPT_PG_EXECUTE) == 0 ||
sys/amd64/amd64/pmap.c
6817
return ((pde & EPT_PG_EXECUTE) != 0);