pa_to_ma
#define PATOMA(addr) (DOMAIN_IS_INITDOMAIN(xen_info) ? addr : pa_to_ma(addr))
xnf_btop(pa_to_ma(dma_cookie->dmac_laddress));
xnf_btop(pa_to_ma(xnfp->xnf_tx_ring_phys_addr)), 0);
xnf_btop(pa_to_ma(xnfp->xnf_rx_ring_phys_addr)), 0);
rmaddr = DOMAIN_IS_INITDOMAIN(xen_info) ? rpaddr : pa_to_ma(rpaddr);
pa_to_ma(ring->xr_paddr);
if (ma != pa_to_ma(pa))
"pa_to_ma() says %" PRIx64 "\n", ma, pa, pa_to_ma(pa));
maddr_t mtable = pa_to_ma(table);
*pteval = pa_to_ma((uintptr_t)new_table) | PT_VALID;
*pteval = pa_to_ma((uintptr_t)new_table) | ptp_bits;
map_ma_at_va(pa_to_ma(pa), va, level);
*pa = pa_to_ma(pfn_to_pa(hat_getpfnum(as->a_hat, addr)));
src_paddr = pa_to_ma(src_addr);
dest_paddr = pa_to_ma(dest_addr);
(DOMAIN_IS_INITDOMAIN(xen_info) ? pa_to_ma(pa) : (pa))
t[0].arg1.mfn = mmu_btop(pa_to_ma(newcr3));
t[1].arg1.mfn = mmu_btop(pa_to_ma(newcr3));
base_ma = pa_to_ma(ptob(ht->ht_pfn));
(pa_to_ma(pfn_to_pa(pfn)) | mmu.ptp_bits[(l) + 1])
(pa_to_ma(pfn_to_pa(pfn)) | mmu.pte_bits[l]))
ma = pa_to_ma(PT_INDEX_PHYSADDR(pfn_to_pa(ht->ht_pfn), entry));
ma = pa_to_ma(PT_INDEX_PHYSADDR(pfn_to_pa(
pte |= pa_to_ma(pa) | how;
ma = pa_to_ma(PT_INDEX_PHYSADDR(pfn_to_pa(ht->ht_pfn), entry));
pa_to_ma(physaddr) | pt_bits, UVMF_INVLPG | UVMF_LOCAL) < 0)
pteval = pa_to_ma(pa) | PT_NOCONSIST | PT_VALID | PT_WRITABLE;
x86pte_t pte_val = pa_to_ma(pfn_to_pa(pfn)) | PT_WRITABLE |
x86pte_t pte_val = pa_to_ma(pa) |
*pteval = pa_to_ma(new_table) | PT_VALID;
*pteval = pa_to_ma(new_table) |
if (pa_to_ma(pfn_to_pa(pp->p_pagenum)) <
if (pa_to_ma(pfn_to_pa(pp->p_pagenum)) >=
pgaddr = pa_to_ma(pfn_to_pa(pp->p_pagenum));
pgaddr = pa_to_ma(pfn_to_pa(pp->p_pagenum));
ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT);
vgc->gdt_frames[0] = pa_to_ma(mmu_btop(cp->cpu_m.mcpu_gdtpa));
pa_to_ma(mmu_ptob(kas.a_hat->hat_htable->ht_pfn));
maddr_t mtable = pa_to_ma(table);
mach_addr = pa_to_ma(pfn_to_pa(va_to_pfn(
pa_to_ma(pfn_to_pa(va_to_pfn((caddr_t)mfn_list + off)));
maddr_t pa_to_ma(paddr_t);
if (HYPERVISOR_update_descriptor(pa_to_ma(dpa), *(uint64_t *)udp))
if (HYPERVISOR_update_descriptor(pa_to_ma(dpa), *(uint64_t *)udp) != 0)
ma[0] = (ulong_t)(pa_to_ma(gdtpa) >> PAGESHIFT);