IOMMU_COOKIE_FAULT_HANDLER
domain->cookie_type = IOMMU_COOKIE_FAULT_HANDLER;
if (domain->cookie_type == IOMMU_COOKIE_FAULT_HANDLER &&