EPT_A
if (ept & EPT_A)
ept |= EPT_A;
npte |= EPT_A;
npte |= opte & (EPT_A | EPT_D);
accessed = (~opte & (EPT_R | EPT_A)) == 0;
opte |= EPT_A;
accessed = (opte & EPT_A) != 0;
KASSERT((opte & (EPT_D | EPT_A)) != EPT_D);
KASSERT((opte & (EPT_A | EPT_R)) != EPT_A);
need_shootdown = (opte & EPT_A) != 0 &&
npte &= ~(EPT_A | EPT_D);
KASSERT((npte & (EPT_D | EPT_A)) != EPT_D);
KASSERT((npte & (EPT_A | EPT_R)) != EPT_A);