pte_val_ma
rmd->mmu_update->val = pte_val_ma(pte);
u.val = pte_val_ma(pteval);
u.val = pte_val_ma(pte);