285 	u8 pending_mask, alert_mask;  in gisa_get_ipm_or_restore_iam()  local
291 		pending_mask = (u8)(word >> 24) & alert_mask;  in gisa_get_ipm_or_restore_iam()
292 		if (pending_mask)  in gisa_get_ipm_or_restore_iam()
293 			return pending_mask;  in gisa_get_ipm_or_restore_iam()
337 	unsigned long pending_mask;  in pending_irqs()  local
339 	pending_mask = pending_irqs_no_gisa(vcpu);  in pending_irqs()
341 		pending_mask |= gisa_get_ipm(gi->origin) << IRQ_PEND_IO_ISC_7;  in pending_irqs()
342 	return pending_mask;  in pending_irqs()
3086 	u8 pending_mask;  in gisa_vcpu_kicker()  local
3088 	pending_mask = gisa_get_ipm_or_restore_iam(gi);  in gisa_vcpu_kicker()
3089 	if (pending_mask) {  in gisa_vcpu_kicker()
3090 		__airqs_kick_single_vcpu(kvm, pending_mask);  in gisa_vcpu_kicker()