tick_device_uses_broadcast
int tick_device_uses_broadcast(struct clock_event_device *dev, int cpu)
static inline int tick_device_uses_broadcast(struct clock_event_device *dev, int cpu) { return 0; }