Symbol: TICK_DEP_MASK_POSIX_TIMER
kernel/time/tick-sched.c
350
if (val & TICK_DEP_MASK_POSIX_TIMER) {
kernel/time/tick-sched.c
351
trace_tick_stop(0, TICK_DEP_MASK_POSIX_TIMER);