/* An array of CPUs. There are ncpu entries. */