mfn_to_ma
kbm_map_ma(mfn_to_ma(xen_info->store_mfn),
return (mfn_to_ma(mfn) | (pa & MMU_PAGEOFFSET));
pte = mfn_to_ma(copy_mfn) | PT_NOCONSIST | PT_VALID;
t[0].ptr = mfn_to_ma(copy_mfn) | MMU_MACHPHYS_UPDATE;
t[1].ptr = mfn_to_ma(va_mfn) | MMU_MACHPHYS_UPDATE;
kbm_map_ma(mfn_to_ma(xen_info->store_mfn),
return (mfn_to_ma(mfn) + (pa & MMU_PAGEOFFSET));
t.ptr = mfn_to_ma(mfn) | MMU_MACHPHYS_UPDATE;