140 static void dr_cpu_check_psrset(uint32_t *cpuids, dr_cpu_res_t *res, int nres);
711 	uint32_t	*cpuids;  in dr_cpu_check_cpus()  local
719 	cpuids = DR_CPU_CMD_CPUIDS(req);  in dr_cpu_check_cpus()
729 	dr_cpu_check_psrset(cpuids, res, req->num_records);  in dr_cpu_check_cpus()
738 		if ((cp = cpu_get(cpuids[idx])) == NULL)  in dr_cpu_check_cpus()
766 dr_cpu_check_psrset(uint32_t *cpuids, dr_cpu_res_t *res, int nres)  in dr_cpu_check_psrset()  argument
798 		if ((cp = cpu_get(cpuids[cpu_idx])) == NULL)  in dr_cpu_check_psrset()
850 			DR_DBG_CPU("cpu %d: %s\n", cpuids[cpu_idx], err_str);  in dr_cpu_check_psrset()
956 	uint32_t	*cpuids;  in dr_cpu_list_status()  local
967 	cpuids = DR_CPU_CMD_CPUIDS(req);  in dr_cpu_list_status()
986 		result = dr_cpu_status(cpuids[idx], &status);  in dr_cpu_list_status()
992 		stat[idx].cpuid = cpuids[idx];  in dr_cpu_list_status()