Searched refs:CPUStateToString (Results 1 – 1 of 1) sorted by relevance
35 const char *CPUStateToString[] = { variable239 kprintf("CPU %d: %s\n", c, CPUStateToString[cpus[c].state]); in Debug_CPUS()