Searched refs:Debug_CPUS (Results 1 – 1 of 1) sorted by relevance
233 Debug_CPUS(int argc, const char *argv[]) in Debug_CPUS() function244 REGISTER_DBGCMD(cpus, "Show MP information", Debug_CPUS);