XPADDR
return XPADDR(PFN_PHYS(mfn_to_pfn(PFN_DOWN(machine.maddr))) | offset);
#define virt_to_machine(v) (phys_to_machine(XPADDR(__pa(v))))