tsbid_t
((((tsbid_t)tsbnum & PCI_TSB_NUM_MASK) << PCI_TSB_NUM) | \
(((tsbid_t)tsbindex & PCI_TSB_INDEX_MASK) << PCI_TSB_INDEX))
extern int px_lib_iommu_map(dev_info_t *dip, tsbid_t tsbid, pages_t pages,
extern int px_lib_iommu_demap(dev_info_t *dip, tsbid_t tsbid, pages_t pages);
extern int px_lib_iommu_getmap(dev_info_t *dip, tsbid_t tsbid,
hvio_iommu_map(devhandle_t dev_hdl, pxu_t *pxu_p, tsbid_t tsbid, pages_t pages,
hvio_iommu_demap(devhandle_t dev_hdl, pxu_t *pxu_p, tsbid_t tsbid,
hvio_iommu_getmap(devhandle_t dev_hdl, pxu_t *pxu_p, tsbid_t tsbid,
px_lib_iommu_map(dev_info_t *dip, tsbid_t tsbid, pages_t pages,
px_lib_iommu_demap(dev_info_t *dip, tsbid_t tsbid, pages_t pages)
px_lib_iommu_getmap(dev_info_t *dip, tsbid_t tsbid, io_attributes_t *attr_p,
extern uint64_t hvio_iommu_map(devhandle_t dev_hdl, pxu_t *pxu_p, tsbid_t tsbid,
tsbid_t tsbid, pages_t pages);
tsbid_t tsbid, io_attributes_t *attr_p, r_addr_t *r_addr_p);
px_lib_iommu_map(dev_info_t *dip, tsbid_t tsbid, pages_t pages,
px_lib_iommu_demap(dev_info_t *dip, tsbid_t tsbid, pages_t pages)
px_lib_iommu_getmap(dev_info_t *dip, tsbid_t tsbid, io_attributes_t *attr_p,
extern uint64_t hvio_iommu_map(devhandle_t dev_hdl, tsbid_t tsbid,
extern uint64_t hvio_iommu_demap(devhandle_t dev_hdl, tsbid_t tsbid,
extern uint64_t hvio_iommu_getmap(devhandle_t dev_hdl, tsbid_t tsbid,