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()
698 	lr_val |= ICH_LR_ACTIVE_BIT;  in __vgic_v3_read_iar()
699 	__gic_v3_set_lr(lr_val, lr);  in __vgic_v3_read_iar()
701 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_iar()
708 static void __vgic_v3_clear_active_lr(int lr, u64 lr_val)  in __vgic_v3_clear_active_lr()  argument
710 	lr_val &= ~ICH_LR_ACTIVE_BIT;  in __vgic_v3_clear_active_lr()
711 	if (lr_val & ICH_LR_HW) {  in __vgic_v3_clear_active_lr()
714 		pid = (lr_val & ICH_LR_PHYS_ID_MASK) >> ICH_LR_PHYS_ID_SHIFT;  in __vgic_v3_clear_active_lr()
718 	__gic_v3_set_lr(lr_val, lr);  in __vgic_v3_clear_active_lr()
733 	u64 lr_val;  in __vgic_v3_write_dir()  local
744 	lr = __vgic_v3_find_active_lr(vcpu, vid, &lr_val);  in __vgic_v3_write_dir()
750 	__vgic_v3_clear_active_lr(lr, lr_val);  in __vgic_v3_write_dir()
756 	u64 lr_val;  in __vgic_v3_write_eoir()  local
765 	lr = __vgic_v3_find_active_lr(vcpu, vid, &lr_val);  in __vgic_v3_write_eoir()
777 	lr_prio = (lr_val & ICH_LR_PRIORITY_MASK) >> ICH_LR_PRIORITY_SHIFT;  in __vgic_v3_write_eoir()
780 	if (grp != !!(lr_val & ICH_LR_GROUP) ||  in __vgic_v3_write_eoir()
785 	__vgic_v3_clear_active_lr(lr, lr_val);  in __vgic_v3_write_eoir()
935 	u64 lr_val;  in __vgic_v3_read_hppir()  local
940 	lr = __vgic_v3_highest_priority_lr(vcpu, vmcr, &lr_val);  in __vgic_v3_read_hppir()
944 	lr_grp = !!(lr_val & ICH_LR_GROUP);  in __vgic_v3_read_hppir()
946 		lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_read_hppir()
949 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_hppir()