print_cpus
print_cpus("active cpus", &cpus);
print_cpus("debug cpus", &cpus);
print_cpus("suspended cpus", &cpus);