29 		__vcpu_sys_reg(vcpu, PMCR_EL0) & ARMV8_PMU_PMCR_LC);  in kvm_pmu_idx_is_64bit()
94 	eventsel = __vcpu_sys_reg(vcpu, reg) & ARMV8_PMU_EVTYPE_EVENT;  in kvm_pmu_idx_has_chain_evtype()
113 		counter = __vcpu_sys_reg(vcpu, reg);  in kvm_pmu_get_pair_counter_value()
114 		counter_high = __vcpu_sys_reg(vcpu, reg + 1);  in kvm_pmu_get_pair_counter_value()
120 		counter = __vcpu_sys_reg(vcpu, reg);  in kvm_pmu_get_pair_counter_value()
168 	__vcpu_sys_reg(vcpu, reg) += (s64)val - kvm_pmu_get_counter_value(vcpu, select_idx);  in kvm_pmu_set_counter_value()
212 	__vcpu_sys_reg(vcpu, reg) = val;  in kvm_pmu_stop_counter()
215 		__vcpu_sys_reg(vcpu, reg + 1) = upper_32_bits(counter);  in kvm_pmu_stop_counter()
266 	u64 val = __vcpu_sys_reg(vcpu, PMCR_EL0) >> ARMV8_PMU_PMCR_N_SHIFT;  in kvm_pmu_valid_counter_mask()
288 	if (!(__vcpu_sys_reg(vcpu, PMCR_EL0) & ARMV8_PMU_PMCR_E) || !val)  in kvm_pmu_enable_counter_mask()
358 	if ((__vcpu_sys_reg(vcpu, PMCR_EL0) & ARMV8_PMU_PMCR_E)) {  in kvm_pmu_overflow_status()
359 		reg = __vcpu_sys_reg(vcpu, PMOVSSET_EL0);  in kvm_pmu_overflow_status()
360 		reg &= __vcpu_sys_reg(vcpu, PMCNTENSET_EL0);  in kvm_pmu_overflow_status()
361 		reg &= __vcpu_sys_reg(vcpu, PMINTENSET_EL1);  in kvm_pmu_overflow_status()
466 	__vcpu_sys_reg(vcpu, PMOVSSET_EL0) |= BIT(idx);  in kvm_pmu_perf_overflow()
489 	enable = __vcpu_sys_reg(vcpu, PMCNTENSET_EL0);  in kvm_pmu_software_increment()
493 		type = __vcpu_sys_reg(vcpu, PMEVTYPER0_EL0 + i)  in kvm_pmu_software_increment()
497 			reg = __vcpu_sys_reg(vcpu, PMEVCNTR0_EL0 + i) + 1;  in kvm_pmu_software_increment()
499 			__vcpu_sys_reg(vcpu, PMEVCNTR0_EL0 + i) = reg;  in kvm_pmu_software_increment()
501 				__vcpu_sys_reg(vcpu, PMOVSSET_EL0) |= BIT(i);  in kvm_pmu_software_increment()
519 		       __vcpu_sys_reg(vcpu, PMCNTENSET_EL0) & mask);  in kvm_pmu_handle_pmcr()
535 	return (__vcpu_sys_reg(vcpu, PMCR_EL0) & ARMV8_PMU_PMCR_E) &&  in kvm_pmu_counter_is_enabled()
536 	       (__vcpu_sys_reg(vcpu, PMCNTENSET_EL0) & BIT(select_idx));  in kvm_pmu_counter_is_enabled()
561 	data = __vcpu_sys_reg(vcpu, reg);  in kvm_pmu_create_perf_event()
663 	__vcpu_sys_reg(vcpu, reg) = event_type;  in kvm_pmu_set_counter_event_type()