Symbol: tick_get_tick_dev
kernel/time/clockevents.c
668
static struct tick_device *tick_get_tick_dev(struct device *dev);
kernel/time/clockevents.c
678
td = tick_get_tick_dev(dev);