Searched refs:source_dbg_tick (Results 1 – 3 of 3) sorted by relevance
23 int *source_dbg_tick(void *cookie);
1037 source_dbg_tick(void *cookie) in source_dbg_tick() function
722 dbg_tick = source_dbg_tick(real_cookie); in do_cmdline()