--- kernel/time/tick-internal.h

+++ kernel/time/tick-internal.h

@@ -37,6 +37,7 @@ extern void tick_shutdown_broadcast_ones

extern int tick_resume_broadcast_oneshot(struct clock_event_device *bc);

extern int tick_broadcast_oneshot_active(void);

extern void tick_check_oneshot_broadcast(int cpu);

+bool tick_broadcast_oneshot_available(void);

# else /* BROADCAST */

static inline void tick_broadcast_setup_oneshot(struct clock_event_device *bc)

{

@@ -47,6 +48,7 @@ static inline void tick_broadcast_switch

static inline void tick_shutdown_broadcast_oneshot(unsigned int *cpup) { }

static inline int tick_broadcast_oneshot_active(void) { return 0; }

static inline void tick_check_oneshot_broadcast(int cpu) { }

+static inline bool tick_broadcast_oneshot_available(void) { return true; }

# endif /* !BROADCAST */

#else /* !ONESHOT */

@@ -77,6 +79,7 @@ static inline int tick_resume_broadcast_

return 0;

}

static inline int tick_broadcast_oneshot_active(void) { return 0; }

+static inline bool tick_broadcast_oneshot_available(void) { return false; }

#endif /* !TICK_ONESHOT */

/*