485 					 u64 *lr_val)  in __vgic_v3_highest_priority_lr()  argument
513 		*lr_val = val;  in __vgic_v3_highest_priority_lr()
518 		*lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_highest_priority_lr()
524 				    u64 *lr_val)  in __vgic_v3_find_active_lr()  argument
534 			*lr_val = val;  in __vgic_v3_find_active_lr()
539 	*lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_find_active_lr()
676 	u64 lr_val;  in __vgic_v3_read_iar()  local
682 	lr = __vgic_v3_highest_priority_lr(vcpu, vmcr, &lr_val);  in __vgic_v3_read_iar()
686 	if (grp != !!(lr_val & ICH_LR_GROUP))  in __vgic_v3_read_iar()
690 	lr_prio = (lr_val & ICH_LR_PRIORITY_MASK) >> ICH_LR_PRIORITY_SHIFT;  in __vgic_v3_read_iar()
697 	lr_val &= ~ICH_LR_STATE;  in __vgic_v3_read_iar()
699 	if ((lr_val & ICH_LR_VIRTUAL_ID_MASK) <= VGIC_MAX_SPI)  in __vgic_v3_read_iar()
700 		lr_val |= ICH_LR_ACTIVE_BIT;  in __vgic_v3_read_iar()
701 	__gic_v3_set_lr(lr_val, lr);  in __vgic_v3_read_iar()
703 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_iar()
710 static void __vgic_v3_clear_active_lr(int lr, u64 lr_val)  in __vgic_v3_clear_active_lr()  argument
712 	lr_val &= ~ICH_LR_ACTIVE_BIT;  in __vgic_v3_clear_active_lr()
713 	if (lr_val & ICH_LR_HW) {  in __vgic_v3_clear_active_lr()
716 		pid = (lr_val & ICH_LR_PHYS_ID_MASK) >> ICH_LR_PHYS_ID_SHIFT;  in __vgic_v3_clear_active_lr()
720 	__gic_v3_set_lr(lr_val, lr);  in __vgic_v3_clear_active_lr()
735 	u64 lr_val;  in __vgic_v3_write_dir()  local
746 	lr = __vgic_v3_find_active_lr(vcpu, vid, &lr_val);  in __vgic_v3_write_dir()
752 	__vgic_v3_clear_active_lr(lr, lr_val);  in __vgic_v3_write_dir()
758 	u64 lr_val;  in __vgic_v3_write_eoir()  local
775 	lr = __vgic_v3_find_active_lr(vcpu, vid, &lr_val);  in __vgic_v3_write_eoir()
781 	lr_prio = (lr_val & ICH_LR_PRIORITY_MASK) >> ICH_LR_PRIORITY_SHIFT;  in __vgic_v3_write_eoir()
784 	if (grp != !!(lr_val & ICH_LR_GROUP) ||  in __vgic_v3_write_eoir()
789 	__vgic_v3_clear_active_lr(lr, lr_val);  in __vgic_v3_write_eoir()
939 	u64 lr_val;  in __vgic_v3_read_hppir()  local
944 	lr = __vgic_v3_highest_priority_lr(vcpu, vmcr, &lr_val);  in __vgic_v3_read_hppir()
948 	lr_grp = !!(lr_val & ICH_LR_GROUP);  in __vgic_v3_read_hppir()
950 		lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_read_hppir()
953 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_hppir()