Searched refs:device_count (Results 1 – 3 of 3) sorted by relevance
617 int32_t device_count = 0; in psvc_fsp_device_fault_check_policy_0() local625 &device_count, PSVC_DEV_FAULT_SENSOR); in psvc_fsp_device_fault_check_policy_0()629 for (i = 0; i < device_count; i++) { in psvc_fsp_device_fault_check_policy_0()
498 int32_t i, device_count; in psvc_remove_missing_nodes_0() local504 &device_count, PSVC_PHYSICAL_DEVICE); in psvc_remove_missing_nodes_0()508 for (i = 0; i < device_count; i++) { in psvc_remove_missing_nodes_0()
2968 uchar_t *device_count) in usba_get_hotplug_stats() argument2979 *device_count = hcdi->hcdi_device_count; in usba_get_hotplug_stats()