Symbol: P_flag
kernel/time/timer_list.c
153
P_flag(nohz, TS_FLAG_NOHZ);
kernel/time/timer_list.c
154
P_flag(highres, TS_FLAG_HIGHRES);
kernel/time/timer_list.c
156
P_flag(tick_stopped, TS_FLAG_STOPPED);