/* Functions associated with SGI_XPC_NOTIFY IRQ. Check to see if any chctl flags were sent from the specified partition.  */
static void xpc_check_for_sent_chctl_flags_sn2(struct xpc_partition *part)
/* Functions associated with SGI_XPC_NOTIFY IRQ. Check to see if any chctl flags were sent from the specified partition.  */
static void xpc_check_for_sent_chctl_flags_sn2(struct xpc_partition *part)
{
	union xpc_channel_ctl_flags chctl;
	unsigned long irq_flags;
	chctl.all_flags = xpc_receive_IRQ_amo_sn2(part->sn.sn2.
						  local_chctl_amo_va);
	if (chctl.all_flags == 0)
		return;
	spin_lock_irqsave(&part->chctl_lock, irq_flags);
	part->chctl.all_flags |= chctl.all_flags;
	spin_unlock_irqrestore(&part->chctl_lock, irq_flags);
	dev_dbg(xpc_chan, "received notify IRQ from partid=%d, chctl.all_flags="
		"0x%llx\n", XPC_PARTID(part), chctl.all_flags);
	xpc_wakeup_channel_mgr(part);
}