646 static void __hyp_text __vgic_v3_read_iar(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_iar()
705 					   u32 vmcr, int rt)  in __vgic_v3_write_dir()
728 static void __hyp_text __vgic_v3_write_eoir(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_eoir()
765 static void __hyp_text __vgic_v3_read_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_igrpen0()
770 static void __hyp_text __vgic_v3_read_igrpen1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_igrpen1()
775 static void __hyp_text __vgic_v3_write_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_igrpen0()
787 static void __hyp_text __vgic_v3_write_igrpen1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_igrpen1()
799 static void __hyp_text __vgic_v3_read_bpr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_bpr0()
804 static void __hyp_text __vgic_v3_read_bpr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_bpr1()
809 static void __hyp_text __vgic_v3_write_bpr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_bpr0()
826 static void __hyp_text __vgic_v3_write_bpr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_bpr1()
846 static void __hyp_text __vgic_v3_read_apxrn(struct kvm_vcpu *vcpu, int rt, int n)  in __vgic_v3_read_apxrn()
858 static void __hyp_text __vgic_v3_write_apxrn(struct kvm_vcpu *vcpu, int rt, int n)  in __vgic_v3_write_apxrn()
869 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr0()
875 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr1()
881 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr2()
887 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr3()
893 					     u32 vmcr, int rt)  in __vgic_v3_write_apxr0()
899 					     u32 vmcr, int rt)  in __vgic_v3_write_apxr1()
905 					     u32 vmcr, int rt)  in __vgic_v3_write_apxr2()
911 					     u32 vmcr, int rt)  in __vgic_v3_write_apxr3()
917 					    u32 vmcr, int rt)  in __vgic_v3_read_hppir()
937 					  u32 vmcr, int rt)  in __vgic_v3_read_pmr()
945 					   u32 vmcr, int rt)  in __vgic_v3_write_pmr()
958 					  u32 vmcr, int rt)  in __vgic_v3_read_rpr()
965 					   u32 vmcr, int rt)  in __vgic_v3_read_ctlr()
987 					    u32 vmcr, int rt)  in __vgic_v3_write_ctlr()
1006 	int rt;  in __vgic_v3_perform_cpuif_access()  local