287 	u8 pending_mask, alert_mask;  in gisa_get_ipm_or_restore_iam()  local
293 		pending_mask = (u8)(word >> 24) & alert_mask;  in gisa_get_ipm_or_restore_iam()
294 		if (pending_mask)  in gisa_get_ipm_or_restore_iam()
295 			return pending_mask;  in gisa_get_ipm_or_restore_iam()
339 	unsigned long pending_mask;  in pending_irqs()  local
341 	pending_mask = pending_irqs_no_gisa(vcpu);  in pending_irqs()
343 		pending_mask |= gisa_get_ipm(gi->origin) << IRQ_PEND_IO_ISC_7;  in pending_irqs()
344 	return pending_mask;  in pending_irqs()
3088 	u8 pending_mask;  in gisa_vcpu_kicker()  local
3090 	pending_mask = gisa_get_ipm_or_restore_iam(gi);  in gisa_vcpu_kicker()
3091 	if (pending_mask) {  in gisa_vcpu_kicker()
3092 		__airqs_kick_single_vcpu(kvm, pending_mask);  in gisa_vcpu_kicker()