xpmap_ptom
frames[0] = xpmap_ptom((uint32_t)gdtstore - KERNBASE) >> PAGE_SHIFT;
#define _BUS_PHYS_TO_BUS(pa) ((bus_addr_t)xpmap_ptom(pa))
xpmap_ptom(pmap->pm_pdirpa[i]) | PTE_P);
initctx->ctrlreg[3] = xen_pfn_to_cr3(x86_btop(xpmap_ptom(ci->ci_kpm_pdirpa)));
initctx->ctrlreg[3] = xen_pfn_to_cr3(x86_btop(xpmap_ptom(ci->ci_pae_l3_pdirpa)));
op.arg1.mfn = xpmap_ptom(dstpa) >> PAGE_SHIFT;
op.arg2.src_mfn = xpmap_ptom(srcpa) >> PAGE_SHIFT;
op.arg1.mfn = xpmap_ptom(pa) >> PAGE_SHIFT;
xpmap_ptom(((vaddr_t)&L2[PDIR_SLOT_PTE + 3]) - KERNBASE),
addr = xpmap_ptom(((u_long)pte) - KERNBASE);
addr = xpmap_ptom(((u_long)pte) - KERNBASE);
mfn = xpmap_ptom(pa) >> PAGE_SHIFT;
ma = xpmap_ptom(pa);
xpmap_ptom(pmap_pdirpa(pm, PDIR_SLOT_PTE + i)),
xpmap_ptom((pm)->pm_pdirpa[i]) | PTE_P);
xpmap_ptom(pmap_pdirpa(pmap_kernel(), PDIR_SLOT_PTE + i)),
xpmap_ptom(pmap_kernel()->pm_pdirpa[i]) | PTE_P);
xpmap_ptom(pmap_pdirpa(pm, PDIR_SLOT_PTE + i)), 0);
xpmap_ptom(pmap_pdirpa(pmap_kernel(), PDIR_SLOT_PTE + i)),
mfn_list[rpages] = xpmap_ptom(pa) >> PAGE_SHIFT;