PX_GET_MP_PFN
px_iopfn_t pfn = PX_GET_MP_PFN(mp, 0);
px_iopfn_t pfn = PX_GET_MP_PFN(mp, start_idx);
px_iopfn_t pfn = PX_GET_MP_PFN(mp, pfn_index);
if (hvio_dma_sync(hdl, MMU_PTOB(PX_GET_MP_PFN(mp, idx)) +
MMU_PTOB(PX_GET_MP_PFN(mp, idx)) + pg_off, bytes_to_sync,
PX_GET_MP_PFN((ddi_dma_impl_t *)(addr), (index + i)) : \