sys/arch/x86/x86/pmap.c

6149

res |= EPT_W;

sys/arch/x86/x86/pmap.c

6168

if (ept & EPT_W)

sys/arch/x86/x86/pmap.c

6182

ept |= EPT_W;

sys/arch/x86/x86/pmap.c

6270

pmap_pte_set(&pteva[index], ptepa | EPT_R | EPT_W | EPT_X);

sys/arch/x86/x86/pmap.c

6312

KASSERT((npte & EPT_W) != 0);

sys/arch/x86/x86/pmap.c

6493

if (accessed && ((opte ^ npte) & (PTE_FRAME | EPT_W)) != 0) {

sys/arch/x86/x86/pmap.c

6773

!(clearbits == EPT_W && (opte & EPT_D) == 0);

sys/arch/x86/x86/pmap.c

6829

bit_rem = EPT_W;