xpmap_mtop
#define _BUS_BUS_TO_PHYS(ba) ((paddr_t)xpmap_mtop(ba))
#define _BUS_BUS_TO_VM_PAGE(ba) (PHYS_TO_VM_PAGE(xpmap_mtop(ba)))
pmap_enter(pmap, va, xpmap_mtop(ba), prot, flags)
addr = xpmap_mtop((paddr_t)L2[pl2_pi(page)] & PTE_4KFRAME);
atop(xpmap_mtop(ptoa(xen_start_info.store_mfn)));
atop(xpmap_mtop(ptoa(xen_start_info.console_mfn)));
xpmap_mtop((paddr_t)xen_start_info.store_mfn << PAGE_SHIFT));