tick_dep_set_signal
tick_dep_set_signal(tsk, TICK_DEP_BIT_POSIX_TIMER);
tick_dep_set_signal(p, TICK_DEP_BIT_POSIX_TIMER);