703 static void __vgic_v3_read_iar(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_iar()
759 static void __vgic_v3_write_dir(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_dir()
782 static void __vgic_v3_write_eoir(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_eoir()
817 static void __vgic_v3_read_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_igrpen0()
822 static void __vgic_v3_read_igrpen1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_igrpen1()
827 static void __vgic_v3_write_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_igrpen0()
839 static void __vgic_v3_write_igrpen1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_igrpen1()
851 static void __vgic_v3_read_bpr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_bpr0()
856 static void __vgic_v3_read_bpr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_bpr1()
861 static void __vgic_v3_write_bpr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_bpr0()
878 static void __vgic_v3_write_bpr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_bpr1()
898 static void __vgic_v3_read_apxrn(struct kvm_vcpu *vcpu, int rt, int n)  in __vgic_v3_read_apxrn()
910 static void __vgic_v3_write_apxrn(struct kvm_vcpu *vcpu, int rt, int n)  in __vgic_v3_write_apxrn()
921 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr0()
927 					    u32 vmcr, int rt)  in __vgic_v3_read_apxr1()
932 static void __vgic_v3_read_apxr2(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_apxr2()
937 static void __vgic_v3_read_apxr3(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_apxr3()
942 static void __vgic_v3_write_apxr0(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_apxr0()
947 static void __vgic_v3_write_apxr1(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_apxr1()
952 static void __vgic_v3_write_apxr2(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_apxr2()
957 static void __vgic_v3_write_apxr3(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_apxr3()
962 static void __vgic_v3_read_hppir(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_hppir()
981 static void __vgic_v3_read_pmr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_pmr()
988 static void __vgic_v3_write_pmr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_pmr()
1000 static void __vgic_v3_read_rpr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_rpr()
1006 static void __vgic_v3_read_ctlr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_read_ctlr()
1025 static void __vgic_v3_write_ctlr(struct kvm_vcpu *vcpu, u32 vmcr, int rt)  in __vgic_v3_write_ctlr()
1113 	int rt;  in __vgic_v3_perform_cpuif_access()  local