/* Functions associated with SGI_XPC_ACTIVATE IRQ. Notify the heartbeat check thread that an activate IRQ has been received.  */
static irqreturn_t xpc_handle_activate_IRQ_sn2(int irq, void *dev_id)
/* Functions associated with SGI_XPC_ACTIVATE IRQ. Notify the heartbeat check thread that an activate IRQ has been received.  */
static irqreturn_t xpc_handle_activate_IRQ_sn2(int irq, void *dev_id)
{
	unsigned long irq_flags;
	spin_lock_irqsave(&xpc_activate_IRQ_rcvd_lock, irq_flags);
	xpc_activate_IRQ_rcvd++;
	spin_unlock_irqrestore(&xpc_activate_IRQ_rcvd_lock, irq_flags);
	wake_up_interruptible(&xpc_activate_IRQ_wq);
	return IRQ_HANDLED;
}