432 void __hyp_text __vgic_v3_write_vmcr(u32 vmcr)  in __vgic_v3_write_vmcr()
456 						    u32 vmcr,  in __vgic_v3_highest_priority_lr()
547 static unsigned int __hyp_text __vgic_v3_get_bpr0(u32 vmcr)  in __vgic_v3_get_bpr0()
552 static unsigned int __hyp_text __vgic_v3_get_bpr1(u32 vmcr)  in __vgic_v3_get_bpr1()
571 static u8 __hyp_text __vgic_v3_pri_to_pre(u8 pri, u32 vmcr, int grp)  in __vgic_v3_pri_to_pre()
589 static void __hyp_text __vgic_v3_set_active_priority(u8 pri, u32 vmcr, int grp)  in __vgic_v3_set_active_priority()
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()
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()
1008 	u32 vmcr;  in __vgic_v3_perform_cpuif_access()  local