Symbol: tick_device_mode
kernel/time/tick-broadcast.c
1129
enum tick_device_mode oldmode;
kernel/time/tick-sched.h
14
enum tick_device_mode mode;