Searched refs:Debug_CPU (Results 1 – 1 of 1) sorted by relevance
247 Debug_CPU(int argc, const char *argv[]) in Debug_CPU() function252 REGISTER_DBGCMD(cpu, "Current CPU number", Debug_CPU);