120 	return __vcpu_sys_reg(vcpu, reg);  in vcpu_read_sys_reg()
163 	 __vcpu_sys_reg(vcpu, reg) = val;  in vcpu_write_sys_reg()
629 	__vcpu_sys_reg(vcpu, PMCR_EL0) = val;  in reset_pmcr()
634 	u64 reg = __vcpu_sys_reg(vcpu, PMUSERENR_EL0);  in check_pmu_access_disabled()
676 		val = __vcpu_sys_reg(vcpu, PMCR_EL0);  in access_pmcr()
679 		__vcpu_sys_reg(vcpu, PMCR_EL0) = val;  in access_pmcr()
683 		val = __vcpu_sys_reg(vcpu, PMCR_EL0)  in access_pmcr()
701 		__vcpu_sys_reg(vcpu, PMSELR_EL0) = p->regval;  in access_pmselr()
704 		p->regval = __vcpu_sys_reg(vcpu, PMSELR_EL0)  in access_pmselr()
737 	pmcr = __vcpu_sys_reg(vcpu, PMCR_EL0);  in pmu_counter_idx_valid()
762 			idx = __vcpu_sys_reg(vcpu, PMSELR_EL0)  in access_pmu_evcntr()
817 		idx = __vcpu_sys_reg(vcpu, PMSELR_EL0) & ARMV8_PMU_COUNTER_MASK;  in access_pmu_evtyper()
835 		__vcpu_sys_reg(vcpu, reg) = p->regval & ARMV8_PMU_EVTYPE_MASK;  in access_pmu_evtyper()
837 		p->regval = __vcpu_sys_reg(vcpu, reg) & ARMV8_PMU_EVTYPE_MASK;  in access_pmu_evtyper()
859 			__vcpu_sys_reg(vcpu, PMCNTENSET_EL0) |= val;  in access_pmcnten()
863 			__vcpu_sys_reg(vcpu, PMCNTENSET_EL0) &= ~val;  in access_pmcnten()
867 		p->regval = __vcpu_sys_reg(vcpu, PMCNTENSET_EL0) & mask;  in access_pmcnten()
891 			__vcpu_sys_reg(vcpu, PMINTENSET_EL1) |= val;  in access_pminten()
894 			__vcpu_sys_reg(vcpu, PMINTENSET_EL1) &= ~val;  in access_pminten()
896 		p->regval = __vcpu_sys_reg(vcpu, PMINTENSET_EL1) & mask;  in access_pminten()
916 			__vcpu_sys_reg(vcpu, PMOVSSET_EL0) |= (p->regval & mask);  in access_pmovs()
919 			__vcpu_sys_reg(vcpu, PMOVSSET_EL0) &= ~(p->regval & mask);  in access_pmovs()
921 		p->regval = __vcpu_sys_reg(vcpu, PMOVSSET_EL0) & mask;  in access_pmovs()
958 		__vcpu_sys_reg(vcpu, PMUSERENR_EL0) =  in access_pmuserenr()
961 		p->regval = __vcpu_sys_reg(vcpu, PMUSERENR_EL0)  in access_pmuserenr()
2363 	return reg_to_user(uaddr, &__vcpu_sys_reg(vcpu, r->reg), reg->id);  in kvm_arm_sys_reg_get_reg()
2384 	return reg_from_user(&__vcpu_sys_reg(vcpu, r->reg), uaddr, reg->id);  in kvm_arm_sys_reg_set_reg()
2590 		if (__vcpu_sys_reg(vcpu, num) == 0x4242424242424242)  in kvm_reset_sys_regs()