Symbol: EPT_PG_WRITE
sys/amd64/amd64/pmap.c
227
mask = EPT_PG_WRITE;
sys/amd64/amd64/pmap.c
293
mask = EPT_PG_WRITE;
sys/amd64/amd64/pmap.c
325
if ((pte & EPT_PG_WRITE) != 0)