/* Timer to produce the heartbeat. The timer structures function is already set when this is initially called. A tunable is used to specify when the next timeout should occur.  */
static void xpc_hb_beater(unsigned long dummy)
/* Timer to produce the heartbeat. The timer structures function is already set when this is initially called. A tunable is used to specify when the next timeout should occur.  */
static void xpc_hb_beater(unsigned long dummy)
{
	xpc_arch_ops.increment_heartbeat();
	if (time_is_before_eq_jiffies(xpc_hb_check_timeout))
		wake_up_interruptible(&xpc_activate_IRQ_wq);
	xpc_hb_timer.expires = jiffies + (xpc_hb_interval * HZ);
	add_timer(&xpc_hb_timer);
}