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