MR4M
VM_MDPAGE_PVHEAD(pg)->pv_flags |= MR4M(updatepte4m(va,
flags |= MR4M(updatepte4m(va,
VM_MDPAGE_PVHEAD(pg)->pv_flags |= MR4M(tpte);
VM_MDPAGE_PVHEAD(pg)->pv_flags |= MR4M(tpte);
flags |= MR4M(tpte);
MR4M(tpte);