XKPHYS_TO_PHYS
*pa = XKPHYS_TO_PHYS(va);
return XKPHYS_TO_PHYS((paddr_t)ri->ri_bits) + offset;
return XKPHYS_TO_PHYS((paddr_t)ri->ri_bits) + offset;
allowed = is_memory_range(XKPHYS_TO_PHYS(v),
pa = XKPHYS_TO_PHYS(va);
paddr_t pa = XKPHYS_TO_PHYS(va);
pa = XKPHYS_TO_PHYS(va);
cn30xxfpa_buf_put_paddr(cnmac_fb_wqe, XKPHYS_TO_PHYS(work));
cn30xxfpa_buf_put_paddr(cnmac_fb_sg, XKPHYS_TO_PHYS(gbuf));
cn30xxfpa_buf_put_paddr(cnmac_fb_wqe, XKPHYS_TO_PHYS(work));
return XKPHYS_TO_PHYS(kva);
XKPHYS_TO_PHYS(gbuf));
return XKPHYS_TO_PHYS(kva);