/* returns 1 when either nohz or highres are enabled. otherwise 0.  */
int tick_oneshot_mode_active(void)
/* returns 1 when either nohz or highres are enabled. otherwise 0.  */
int tick_oneshot_mode_active(void)
{
	unsigned long flags;
	int ret;
	local_irq_save(flags);
	ret = __get_cpu_var(tick_cpu_device).mode == TICKDEV_MODE_ONESHOT;
	local_irq_restore(flags);
	return ret;
}