HPTE_R_WIMG
unsigned int wimg = hptel & HPTE_R_WIMG;
gpte->wimg = r & HPTE_R_WIMG;
rflags = (rflags & ~HPTE_R_WIMG) | orig_pte->wimg;
.mask = HPTE_R_WIMG,
.mask = HPTE_R_WIMG,
.mask = HPTE_R_WIMG,