ad 47afbfb94e cpuctl list: map hardware id after getting state. avoids screwed up display ...

when ci_cpuid != cpu_index()

2009-01-28 22:37:09 +00:00

..

arch

…

cpuctl.8

…

cpuctl.c

cpuctl list: map hardware id after getting state. avoids screwed up display

2009-01-28 22:37:09 +00:00

cpuctl.h

…

Makefile

…