674 static void __vgic_v3_read_iar(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_iar()  argument
701 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_iar()
705 	vcpu_set_reg(vcpu, rt, ICC_IAR1_EL1_SPURIOUS);  in __vgic_v3_read_iar()
730 static void __vgic_v3_write_dir(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_dir()  argument
732 	u32 vid = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_dir()
753 static void __vgic_v3_write_eoir(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_eoir()  argument
755 	u32 vid = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_eoir()
788 static void __vgic_v3_read_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_igrpen0()  argument
790 	vcpu_set_reg(vcpu, rt, !!(vmcr & ICH_VMCR_ENG0_MASK));  in __vgic_v3_read_igrpen0()
793 static void __vgic_v3_read_igrpen1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_igrpen1()  argument
795 	vcpu_set_reg(vcpu, rt, !!(vmcr & ICH_VMCR_ENG1_MASK));  in __vgic_v3_read_igrpen1()
798 static void __vgic_v3_write_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_igrpen0()  argument
800 	u64 val = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_igrpen0()
810 static void __vgic_v3_write_igrpen1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_igrpen1()  argument
812 	u64 val = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_igrpen1()
822 static void __vgic_v3_read_bpr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_bpr0()  argument
824 	vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr0(vmcr));  in __vgic_v3_read_bpr0()
827 static void __vgic_v3_read_bpr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_bpr1()  argument
829 	vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr1(vmcr));  in __vgic_v3_read_bpr1()
832 static void __vgic_v3_write_bpr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_bpr0()  argument
834 	u64 val = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_bpr0()
849 static void __vgic_v3_write_bpr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_bpr1()  argument
851 	u64 val = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_bpr1()
869 static void __vgic_v3_read_apxrn(struct kvm_vcpu *vcpu, int rt, int n)  in __vgic_v3_read_apxrn()  argument
878 	vcpu_set_reg(vcpu, rt, val);  in __vgic_v3_read_apxrn()
881 static void __vgic_v3_write_apxrn(struct kvm_vcpu *vcpu, int rt, int n)  in __vgic_v3_write_apxrn()  argument
883 	u32 val = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_apxrn()
892 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr0()  argument
894 	__vgic_v3_read_apxrn(vcpu, rt, 0);  in __vgic_v3_read_apxr0()
898 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr1()  argument
900 	__vgic_v3_read_apxrn(vcpu, rt, 1);  in __vgic_v3_read_apxr1()
903 static void __vgic_v3_read_apxr2(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_apxr2()  argument
905 	__vgic_v3_read_apxrn(vcpu, rt, 2);  in __vgic_v3_read_apxr2()
908 static void __vgic_v3_read_apxr3(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_apxr3()  argument
910 	__vgic_v3_read_apxrn(vcpu, rt, 3);  in __vgic_v3_read_apxr3()
913 static void __vgic_v3_write_apxr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_apxr0()  argument
915 	__vgic_v3_write_apxrn(vcpu, rt, 0);  in __vgic_v3_write_apxr0()
918 static void __vgic_v3_write_apxr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_apxr1()  argument
920 	__vgic_v3_write_apxrn(vcpu, rt, 1);  in __vgic_v3_write_apxr1()
923 static void __vgic_v3_write_apxr2(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_apxr2()  argument
925 	__vgic_v3_write_apxrn(vcpu, rt, 2);  in __vgic_v3_write_apxr2()
928 static void __vgic_v3_write_apxr3(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_apxr3()  argument
930 	__vgic_v3_write_apxrn(vcpu, rt, 3);  in __vgic_v3_write_apxr3()
933 static void __vgic_v3_read_hppir(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_hppir()  argument
949 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_hppir()
952 static void __vgic_v3_read_pmr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_pmr()  argument
956 	vcpu_set_reg(vcpu, rt, vmcr);  in __vgic_v3_read_pmr()
959 static void __vgic_v3_write_pmr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_pmr()  argument
961 	u32 val = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_pmr()
971 static void __vgic_v3_read_rpr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_rpr()  argument
974 	vcpu_set_reg(vcpu, rt, val);  in __vgic_v3_read_rpr()
977 static void __vgic_v3_read_ctlr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_ctlr()  argument
996 	vcpu_set_reg(vcpu, rt, val);  in __vgic_v3_read_ctlr()
999 static void __vgic_v3_write_ctlr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_ctlr()  argument
1001 	u32 val = vcpu_get_reg(vcpu, rt);  in __vgic_v3_write_ctlr()
1018 	int rt;  in __vgic_v3_perform_cpuif_access()  local
1137 	rt = kvm_vcpu_sys_get_rt(vcpu);  in __vgic_v3_perform_cpuif_access()
1138 	fn(vcpu, vmcr, rt);  in __vgic_v3_perform_cpuif_access()