hvio_iommu_map
if ((ret = hvio_iommu_map(px_p->px_dev_hdl, pxu_p, tsbid, pages,
extern uint64_t hvio_iommu_map(devhandle_t dev_hdl, pxu_t *pxu_p, tsbid_t tsbid,
if ((ret = hvio_iommu_map(DIP_TO_HANDLE(dip),
extern uint64_t hvio_iommu_map(devhandle_t dev_hdl, tsbid_t tsbid,