IOMMU_TSB_COOKIE_NONE
tsbc = IOMMU_TSB_COOKIE_NONE;
ASSERT(tsbc != IOMMU_TSB_COOKIE_NONE);
ASSERT(tsbc != IOMMU_TSB_COOKIE_NONE);
ASSERT(tsbc != IOMMU_TSB_COOKIE_NONE);
IOMMU_TSB_COOKIE_NONE) {
if ((tsbc = iommu_tsb_alloc(pci_p->pci_id)) == IOMMU_TSB_COOKIE_NONE) {
cmn_p->pci_common_tsb_cookie = IOMMU_TSB_COOKIE_NONE;