TICK_DEP_MASK_POSIX_TIMER  185 kernel/time/tick-sched.c 	if (val & TICK_DEP_MASK_POSIX_TIMER) {
TICK_DEP_MASK_POSIX_TIMER  186 kernel/time/tick-sched.c 		trace_tick_stop(0, TICK_DEP_MASK_POSIX_TIMER);