144 static void dr_cpu_check_psrset(uint32_t *cpuids, dr_cpu_res_t *res, int nres);
715 	uint32_t	*cpuids;  in dr_cpu_check_cpus()  local
723 	cpuids = DR_CPU_CMD_CPUIDS(req);  in dr_cpu_check_cpus()
733 	dr_cpu_check_psrset(cpuids, res, req->num_records);  in dr_cpu_check_cpus()
742 		if ((cp = cpu_get(cpuids[idx])) == NULL)  in dr_cpu_check_cpus()
770 dr_cpu_check_psrset(uint32_t *cpuids, dr_cpu_res_t *res, int nres)  in dr_cpu_check_psrset()  argument
802 		if ((cp = cpu_get(cpuids[cpu_idx])) == NULL)  in dr_cpu_check_psrset()
854 			DR_DBG_CPU("cpu %d: %s\n", cpuids[cpu_idx], err_str);  in dr_cpu_check_psrset()
960 	uint32_t	*cpuids;  in dr_cpu_list_status()  local
971 	cpuids = DR_CPU_CMD_CPUIDS(req);  in dr_cpu_list_status()
990 		result = dr_cpu_status(cpuids[idx], &status);  in dr_cpu_list_status()
996 		stat[idx].cpuid = cpuids[idx];  in dr_cpu_list_status()