/* Check, if the device is the broadcast device  */
int tick_is_broadcast_device(struct clock_event_device *dev)
/* Check, if the device is the broadcast device  */
int tick_is_broadcast_device(struct clock_event_device *dev)
{
	return (dev && tick_broadcast_device.evtdev == dev);
}