MMU_MACHPHYS_UPDATE
t[0].ptr = mfn_to_ma(copy_mfn) | MMU_MACHPHYS_UPDATE;
t[1].ptr = mfn_to_ma(va_mfn) | MMU_MACHPHYS_UPDATE;
t.ptr = mfn_to_ma(mfn) | MMU_MACHPHYS_UPDATE;