HPTE_R_I
if (wimg == (HPTE_R_W | HPTE_R_I | HPTE_R_M) &&
return !!(wimg & HPTE_R_I);
r = (r & ~(HPTE_R_W|HPTE_R_I|HPTE_R_G)) | HPTE_R_M;
ptel &= ~(HPTE_R_W|HPTE_R_I|HPTE_R_G);
rflags |= HPTE_R_I;
rflags |= (HPTE_R_I | HPTE_R_G);
rflags |= (HPTE_R_W | HPTE_R_I | HPTE_R_M);
.val = HPTE_R_I,