221 			  int devices_cnt)  in dmar_insert_dev_scope()  argument
261 		for_each_dev_scope(devices, devices_cnt, i, tmp)  in dmar_insert_dev_scope()
269 		BUG_ON(i >= devices_cnt);  in dmar_insert_dev_scope()
310 				dmaru->devices, dmaru->devices_cnt);  in dmar_pci_bus_add_dev()
331 			dmaru->devices, dmaru->devices_cnt))  in dmar_pci_bus_del_dev()
436 					      &dmaru->devices_cnt);  in dmar_parse_one_drhd()
437 	if (dmaru->devices_cnt && dmaru->devices == NULL) {  in dmar_parse_one_drhd()
445 				    &dmaru->devices_cnt);  in dmar_parse_one_drhd()
460 	if (dmaru->devices && dmaru->devices_cnt)  in dmar_free_drhd()
461 		dmar_free_dev_scope(&dmaru->devices, &dmaru->devices_cnt);  in dmar_free_drhd()
712 					  dmaru->devices_cnt, dev))  in dmar_find_matched_drhd_unit()
749 			for_each_dev_scope(dmaru->devices, dmaru->devices_cnt, i, tmp)  in dmar_acpi_insert_dev_scope()
758 			BUG_ON(i >= dmaru->devices_cnt);  in dmar_acpi_insert_dev_scope()
2147 	if (!dmaru->include_all && dmaru->devices && dmaru->devices_cnt) {  in dmar_hp_remove_drhd()
2149 					  dmaru->devices_cnt, i, dev)  in dmar_hp_remove_drhd()