208 static unsigned long read_fw_counter(int idx, union sbi_pmu_ctr_info ctrinfo)  in read_fw_counter()  argument
217 static unsigned long read_counter(int idx, union sbi_pmu_ctr_info ctrinfo)  in read_counter()  argument
221 	__GUEST_ASSERT(ctrinfo.type < 2, "Invalid counter type %d", ctrinfo.type);  in read_counter()
223 	if (ctrinfo.type == SBI_PMU_CTR_TYPE_HW)  in read_counter()
224 		counter_val = pmu_csr_read_num(ctrinfo.csr);  in read_counter()
225 	else if (ctrinfo.type == SBI_PMU_CTR_TYPE_FW)  in read_counter()
226 		counter_val = read_fw_counter(idx, ctrinfo);  in read_counter()
419 	union sbi_pmu_ctr_info ctrinfo;  in test_pmu_basic_sanity()  local
435 		ctrinfo.value = ret.value;  in test_pmu_basic_sanity()
441 		if (ctrinfo.type == SBI_PMU_CTR_TYPE_HW) {  in test_pmu_basic_sanity()
442 			pmu_csr_read_num(ctrinfo.csr);  in test_pmu_basic_sanity()
444 		} else if (ctrinfo.type == SBI_PMU_CTR_TYPE_FW) {  in test_pmu_basic_sanity()
445 			read_fw_counter(i, ctrinfo);  in test_pmu_basic_sanity()