sys/arch/x86/x86/pmap.c

6101

#define pmap_ept_valid_entry(pte) (pte & EPT_R)

sys/arch/x86/x86/pmap.c

6108

int resid_diff = ((npte & EPT_R) ? 1 : 0) - ((opte & EPT_R) ? 1 : 0);

sys/arch/x86/x86/pmap.c

6111

KASSERT((npte & (EPT_R | EPT_WIRED)) != EPT_WIRED);

sys/arch/x86/x86/pmap.c

6112

KASSERT((opte & (EPT_R | EPT_WIRED)) != EPT_WIRED);

sys/arch/x86/x86/pmap.c

6147

res |= EPT_R;

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

6416

if (((opte ^ npte) & (PTE_FRAME | EPT_R)) == 0) {

sys/arch/x86/x86/pmap.c

6442

if (((opte ^ npte) & (PTE_FRAME | EPT_R)) == 0) {

sys/arch/x86/x86/pmap.c

6456

if ((~opte & (EPT_R | EPT_PVLIST)) == 0) {

sys/arch/x86/x86/pmap.c

6489

accessed = (~opte & (EPT_R | EPT_A)) == 0;

sys/arch/x86/x86/pmap.c

6491

accessed = (opte & EPT_R) != 0;

sys/arch/x86/x86/pmap.c

6553

if (__predict_true((pte & EPT_R) != 0)) {

sys/arch/x86/x86/pmap.c

6734

expect = pmap_pa2pte(pa) | EPT_R;

sys/arch/x86/x86/pmap.c

6746

KASSERT((opte & (EPT_A | EPT_R)) != EPT_A);

sys/arch/x86/x86/pmap.c

6747

KASSERT(opte == 0 || (opte & EPT_R) != 0);

sys/arch/x86/x86/pmap.c

6748

if ((opte & (PTE_FRAME | EPT_R)) != expect) {

sys/arch/x86/x86/pmap.c

6787

KASSERT((npte & (EPT_A | EPT_R)) != EPT_A);

sys/arch/x86/x86/pmap.c

6788

KASSERT(npte == 0 || (opte & EPT_R) != 0);