599 static u8 __vgic_v3_pri_to_pre(u8 pri, u32 vmcr, int grp)  in __vgic_v3_pri_to_pre()  argument
603 	if (!grp)  in __vgic_v3_pri_to_pre()
617 static void __vgic_v3_set_active_priority(u8 pri, u32 vmcr, int grp)  in __vgic_v3_set_active_priority()  argument
623 	pre = __vgic_v3_pri_to_pre(pri, vmcr, grp);  in __vgic_v3_set_active_priority()
627 	if (!grp) {  in __vgic_v3_set_active_priority()
678 	int lr, grp;  in __vgic_v3_read_iar()  local
680 	grp = __vgic_v3_get_group(vcpu);  in __vgic_v3_read_iar()
686 	if (grp != !!(lr_val & ICH_LR_GROUP))  in __vgic_v3_read_iar()
694 	if (__vgic_v3_get_highest_active_priority() <= __vgic_v3_pri_to_pre(lr_prio, vmcr, grp))  in __vgic_v3_read_iar()
702 	__vgic_v3_set_active_priority(lr_prio, vmcr, grp);  in __vgic_v3_read_iar()
760 	int lr, grp;  in __vgic_v3_write_eoir()  local
762 	grp = __vgic_v3_get_group(vcpu);  in __vgic_v3_write_eoir()
784 	if (grp != !!(lr_val & ICH_LR_GROUP) ||  in __vgic_v3_write_eoir()
785 	    __vgic_v3_pri_to_pre(lr_prio, vmcr, grp) != act_prio)  in __vgic_v3_write_eoir()
940 	int lr, lr_grp, grp;  in __vgic_v3_read_hppir()  local
942 	grp = __vgic_v3_get_group(vcpu);  in __vgic_v3_read_hppir()
949 	if (lr_grp != grp)  in __vgic_v3_read_hppir()