Symbol: EPT_X
sys/arch/x86/x86/pmap.c
6151
res |= EPT_X;
sys/arch/x86/x86/pmap.c
6270
pmap_pte_set(&pteva[index], ptepa | EPT_R | EPT_W | EPT_X);