HPTE_R_M
if (wimg == (HPTE_R_W | HPTE_R_I | HPTE_R_M) &&
wimg = HPTE_R_M;
return wimg == HPTE_R_M;
gpte->wimg = HPTE_R_M;
HPTE_R_R | HPTE_R_C | HPTE_R_M | PP_RWXX;
r = (r & ~(HPTE_R_W|HPTE_R_I|HPTE_R_G)) | HPTE_R_M;
ptel |= HPTE_R_M;
pte.wimg = HPTE_R_M;
rflags |= (HPTE_R_W | HPTE_R_I | HPTE_R_M);
rflags |= HPTE_R_M;