643 static void __hyp_text __vgic_v3_read_iar(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_iar()
702 					   u32 vmcr, int rt)  in __vgic_v3_write_dir()
725 static void __hyp_text __vgic_v3_write_eoir(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_eoir()
762 static void __hyp_text __vgic_v3_read_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_igrpen0()
767 static void __hyp_text __vgic_v3_read_igrpen1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_igrpen1()
772 static void __hyp_text __vgic_v3_write_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_igrpen0()
784 static void __hyp_text __vgic_v3_write_igrpen1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_igrpen1()
796 static void __hyp_text __vgic_v3_read_bpr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_bpr0()
801 static void __hyp_text __vgic_v3_read_bpr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_bpr1()
806 static void __hyp_text __vgic_v3_write_bpr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_bpr0()
823 static void __hyp_text __vgic_v3_write_bpr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_bpr1()
843 static void __hyp_text __vgic_v3_read_apxrn(struct kvm_vcpu *vcpu, int rt, int n)  in __vgic_v3_read_apxrn()
855 static void __hyp_text __vgic_v3_write_apxrn(struct kvm_vcpu *vcpu, int rt, int n)  in __vgic_v3_write_apxrn()
866 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr0()
872 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr1()
878 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr2()
884 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr3()
890 					     u32 vmcr, int rt)  in __vgic_v3_write_apxr0()
896 					     u32 vmcr, int rt)  in __vgic_v3_write_apxr1()
902 					     u32 vmcr, int rt)  in __vgic_v3_write_apxr2()
908 					     u32 vmcr, int rt)  in __vgic_v3_write_apxr3()
914 					    u32 vmcr, int rt)  in __vgic_v3_read_hppir()
934 					  u32 vmcr, int rt)  in __vgic_v3_read_pmr()
942 					   u32 vmcr, int rt)  in __vgic_v3_write_pmr()
955 					  u32 vmcr, int rt)  in __vgic_v3_read_rpr()
962 					   u32 vmcr, int rt)  in __vgic_v3_read_ctlr()
984 					    u32 vmcr, int rt)  in __vgic_v3_write_ctlr()
1003 	int rt;  in __vgic_v3_perform_cpuif_access()  local