568 static u8 __hyp_text __vgic_v3_pri_to_pre(u8 pri, u32 vmcr, int grp)  in __vgic_v3_pri_to_pre()  argument
572 	if (!grp)  in __vgic_v3_pri_to_pre()
586 static void __hyp_text __vgic_v3_set_active_priority(u8 pri, u32 vmcr, int grp)  in __vgic_v3_set_active_priority()  argument
592 	pre = __vgic_v3_pri_to_pre(pri, vmcr, grp);  in __vgic_v3_set_active_priority()
596 	if (!grp) {  in __vgic_v3_set_active_priority()
647 	int lr, grp;  in __vgic_v3_read_iar()  local
649 	grp = __vgic_v3_get_group(vcpu);  in __vgic_v3_read_iar()
655 	if (grp != !!(lr_val & ICH_LR_GROUP))  in __vgic_v3_read_iar()
663 	if (__vgic_v3_get_highest_active_priority() <= __vgic_v3_pri_to_pre(lr_prio, vmcr, grp))  in __vgic_v3_read_iar()
671 	__vgic_v3_set_active_priority(lr_prio, vmcr, grp);  in __vgic_v3_read_iar()
730 	int lr, grp;  in __vgic_v3_write_eoir()  local
732 	grp = __vgic_v3_get_group(vcpu);  in __vgic_v3_write_eoir()
754 	if (grp != !!(lr_val & ICH_LR_GROUP) ||  in __vgic_v3_write_eoir()
755 	    __vgic_v3_pri_to_pre(lr_prio, vmcr, grp) != act_prio)  in __vgic_v3_write_eoir()
917 	int lr, lr_grp, grp;  in __vgic_v3_read_hppir()  local
919 	grp = __vgic_v3_get_group(vcpu);  in __vgic_v3_read_hppir()
926 	if (lr_grp != grp)  in __vgic_v3_read_hppir()