user_tick_function_dtor  129 standard/basic_functions.c static void user_tick_function_dtor(user_tick_function_entry *tick_function_entry);
user_tick_function_dtor 5698 standard/basic_functions.c 						(llist_dtor_func_t) user_tick_function_dtor, 0);