Searched refs:machine_do_debugid (Results 1 – 3 of 3) sorted by relevance
35 void machine_do_debugid(void);
74 machine_do_debugid(void) in machine_do_debugid() function
266 machine_do_debugid(); in do_debugid()