--- kernel/time/tick-common.c

+++ kernel/time/tick-common.c

@@ -51,7 +51,11 @@ int tick_is_oneshot_available(void)

{

struct clock_event_device *dev = __get_cpu_var(tick_cpu_device).evtdev;

- return dev && (dev->features & CLOCK_EVT_FEAT_ONESHOT);

+ if (!dev || !(dev->features & CLOCK_EVT_FEAT_ONESHOT))

+ return 0;

+ if (!(dev->features & CLOCK_EVT_FEAT_C3STOP))

+ return 1;

+ return tick_broadcast_oneshot_available();

}

/*