topology_booted_cores
#define topology_booted_cores(cpu) (cpu_topology[cpu].booted_cores)
static inline int topology_booted_cores(int cpu_nr) { return 1; }