457 						    u64 *lr_val)  in __vgic_v3_highest_priority_lr()  argument
485 		*lr_val = val;  in __vgic_v3_highest_priority_lr()
490 		*lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_highest_priority_lr()
496 					       int intid, u64 *lr_val)  in __vgic_v3_find_active_lr()  argument
506 			*lr_val = val;  in __vgic_v3_find_active_lr()
511 	*lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_find_active_lr()
648 	u64 lr_val;  in __vgic_v3_read_iar()  local
654 	lr = __vgic_v3_highest_priority_lr(vcpu, vmcr, &lr_val);  in __vgic_v3_read_iar()
658 	if (grp != !!(lr_val & ICH_LR_GROUP))  in __vgic_v3_read_iar()
662 	lr_prio = (lr_val & ICH_LR_PRIORITY_MASK) >> ICH_LR_PRIORITY_SHIFT;  in __vgic_v3_read_iar()
669 	lr_val &= ~ICH_LR_STATE;  in __vgic_v3_read_iar()
671 	if ((lr_val & ICH_LR_VIRTUAL_ID_MASK) <= VGIC_MAX_SPI)  in __vgic_v3_read_iar()
672 		lr_val |= ICH_LR_ACTIVE_BIT;  in __vgic_v3_read_iar()
673 	__gic_v3_set_lr(lr_val, lr);  in __vgic_v3_read_iar()
675 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_iar()
682 static void __hyp_text __vgic_v3_clear_active_lr(int lr, u64 lr_val)  in __vgic_v3_clear_active_lr()  argument
684 	lr_val &= ~ICH_LR_ACTIVE_BIT;  in __vgic_v3_clear_active_lr()
685 	if (lr_val & ICH_LR_HW) {  in __vgic_v3_clear_active_lr()
688 		pid = (lr_val & ICH_LR_PHYS_ID_MASK) >> ICH_LR_PHYS_ID_SHIFT;  in __vgic_v3_clear_active_lr()
692 	__gic_v3_set_lr(lr_val, lr);  in __vgic_v3_clear_active_lr()
708 	u64 lr_val;  in __vgic_v3_write_dir()  local
719 	lr = __vgic_v3_find_active_lr(vcpu, vid, &lr_val);  in __vgic_v3_write_dir()
725 	__vgic_v3_clear_active_lr(lr, lr_val);  in __vgic_v3_write_dir()
731 	u64 lr_val;  in __vgic_v3_write_eoir()  local
748 	lr = __vgic_v3_find_active_lr(vcpu, vid, &lr_val);  in __vgic_v3_write_eoir()
754 	lr_prio = (lr_val & ICH_LR_PRIORITY_MASK) >> ICH_LR_PRIORITY_SHIFT;  in __vgic_v3_write_eoir()
757 	if (grp != !!(lr_val & ICH_LR_GROUP) ||  in __vgic_v3_write_eoir()
762 	__vgic_v3_clear_active_lr(lr, lr_val);  in __vgic_v3_write_eoir()
919 	u64 lr_val;  in __vgic_v3_read_hppir()  local
924 	lr = __vgic_v3_highest_priority_lr(vcpu, vmcr, &lr_val);  in __vgic_v3_read_hppir()
928 	lr_grp = !!(lr_val & ICH_LR_GROUP);  in __vgic_v3_read_hppir()
930 		lr_val = ICC_IAR1_EL1_SPURIOUS;  in __vgic_v3_read_hppir()
933 	vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK);  in __vgic_v3_read_hppir()