Searched refs:device_count (Results 1 – 3 of 3) sorted by relevance
615 int32_t device_count = 0; in psvc_fsp_device_fault_check_policy_0() local623 &device_count, PSVC_DEV_FAULT_SENSOR); in psvc_fsp_device_fault_check_policy_0()627 for (i = 0; i < device_count; i++) { in psvc_fsp_device_fault_check_policy_0()
496 int32_t i, device_count; in psvc_remove_missing_nodes_0() local502 &device_count, PSVC_PHYSICAL_DEVICE); in psvc_remove_missing_nodes_0()506 for (i = 0; i < device_count; i++) { in psvc_remove_missing_nodes_0()
2974 uchar_t *device_count) in usba_get_hotplug_stats() argument2985 *device_count = hcdi->hcdi_device_count; in usba_get_hotplug_stats()