Searched defs:dbg_tick (Results 1 – 2 of 2) sorted by relevance
650 int *dbg_tick = NULL; // ptr to dbg_tick field in cookie in do_cmdline() local
1727 int dbg_tick; // debug_tick when breakpoint was set member4416 int dbg_tick; // debug_tick when breakpoint was set member