EPT_PVLIST
npte |= EPT_PVLIST;
npte |= EPT_PVLIST;
KASSERT(((opte ^ npte) & EPT_PVLIST) == 0);
if ((npte & EPT_PVLIST) != 0) {
} else if ((npte & EPT_PVLIST) != 0) {
if ((~opte & (EPT_R | EPT_PVLIST)) == 0) {
if ((opte & EPT_PVLIST) == 0) {