Lines Matching defs:domain_freed
556 int *domain_freed, char *path)
611 *domain_freed = 1;
1287 amd_iommu_domain_t *dp, map_type_t type, int *domain_freed, char *path)
1406 deviceid, dp, domain_freed, path);
1610 int domain_freed;
1669 domain_freed = 0;
1671 domain_freed = 0;
1674 &domain_freed, path) != DDI_SUCCESS) {
1678 if (domain_freed) {
1692 if (domain_freed)