514 					 u64 *lr_val)  in __vgic_v3_highest_priority_lr()  argument
542 		*lr_val = val;  in __vgic_v3_highest_priority_lr()
547 		*lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_highest_priority_lr()
553 				    u64 *lr_val)  in __vgic_v3_find_active_lr()  argument
563 			*lr_val = val;  in __vgic_v3_find_active_lr()
568 	*lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_find_active_lr()
705 	u64 lr_val;  in __vgic_v3_read_iar()  local
711 	lr = __vgic_v3_highest_priority_lr(vcpu, vmcr, &lr_val);  in __vgic_v3_read_iar()
715 	if (grp != !!(lr_val & ICH_LR_GROUP))  in __vgic_v3_read_iar()
719 	lr_prio = (lr_val & ICH_LR_PRIORITY_MASK) >> ICH_LR_PRIORITY_SHIFT;  in __vgic_v3_read_iar()
726 	lr_val &= ~ICH_LR_STATE;  in __vgic_v3_read_iar()
727 	lr_val |= ICH_LR_ACTIVE_BIT;  in __vgic_v3_read_iar()
728 	__gic_v3_set_lr(lr_val, lr);  in __vgic_v3_read_iar()
730 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_iar()
737 static void __vgic_v3_clear_active_lr(int lr, u64 lr_val)  in __vgic_v3_clear_active_lr()  argument
739 	lr_val &= ~ICH_LR_ACTIVE_BIT;  in __vgic_v3_clear_active_lr()
740 	if (lr_val & ICH_LR_HW) {  in __vgic_v3_clear_active_lr()
743 		pid = (lr_val & ICH_LR_PHYS_ID_MASK) >> ICH_LR_PHYS_ID_SHIFT;  in __vgic_v3_clear_active_lr()
747 	__gic_v3_set_lr(lr_val, lr);  in __vgic_v3_clear_active_lr()
762 	u64 lr_val;  in __vgic_v3_write_dir()  local
773 	lr = __vgic_v3_find_active_lr(vcpu, vid, &lr_val);  in __vgic_v3_write_dir()
779 	__vgic_v3_clear_active_lr(lr, lr_val);  in __vgic_v3_write_dir()
785 	u64 lr_val;  in __vgic_v3_write_eoir()  local
794 	lr = __vgic_v3_find_active_lr(vcpu, vid, &lr_val);  in __vgic_v3_write_eoir()
806 	lr_prio = (lr_val & ICH_LR_PRIORITY_MASK) >> ICH_LR_PRIORITY_SHIFT;  in __vgic_v3_write_eoir()
809 	if (grp != !!(lr_val & ICH_LR_GROUP) ||  in __vgic_v3_write_eoir()
814 	__vgic_v3_clear_active_lr(lr, lr_val);  in __vgic_v3_write_eoir()
964 	u64 lr_val;  in __vgic_v3_read_hppir()  local
969 	lr = __vgic_v3_highest_priority_lr(vcpu, vmcr, &lr_val);  in __vgic_v3_read_hppir()
973 	lr_grp = !!(lr_val & ICH_LR_GROUP);  in __vgic_v3_read_hppir()
975 		lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_read_hppir()
978 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_hppir()