EPT_D
if (ept & EPT_D)
ept |= EPT_D;
npte |= EPT_D;
npte |= opte & (EPT_A | EPT_D);
KASSERT((opte & (EPT_D | EPT_A)) != EPT_D);
!(clearbits == EPT_W && (opte & EPT_D) == 0);
npte &= ~(EPT_A | EPT_D);
KASSERT((npte & (EPT_D | EPT_A)) != EPT_D);
modified = (opte & EPT_D) != 0;