hv_pci_iommu_demap
err = hv_pci_iommu_demap(is->is_devhandle, tsbid, 1, &ndemapped);
int64_t hv_pci_iommu_demap(uint64_t devhandle, uint64_t tsbid,