invalidate_pte
npte |= invalidate_pte(pte) & PG_M_U;
invalidate_pte(pte);
opte = invalidate_pte(pte) & PG_M_U;
opte = invalidate_pte(pte);
opte = invalidate_pte(pte);
invalidate_pte(pte);
invalidate_pte(pte);
opte = invalidate_pte(pte);
invalidate_pte(pte);