kitten/kernel/cpuinfo.c

   1 #include <lwk/kernel.h>
   2 #include <lwk/cpuinfo.h>
   3
   4 /**
   5  * Info structure for each CPU in the system.
   6  * Array is indexed by logical CPU ID.
   7  */
   8 struct cpuinfo cpu_info[NR_CPUS];
   9
  10 /**
  11  * Map of all available CPUs.
  12  * This map represents logical CPU IDs.
  13  */
  14 cpumask_t cpu_present_map;
  15
  16 /**
  17  * Map of all booted CPUs.
  18  * This map represents logical CPU IDs.
  19  * It will be a subset of cpu_present_map (usually identical after boot).
  20  */
  21 cpumask_t cpu_online_map;
  22
  23 /**
  24  * Prints the input cpuinfo structure to the console.
  25  */
  26 void print_cpuinfo(struct cpuinfo *c)
  27 {
  28         printk("logical cpu id\t: %u\n", c->logical_id);
  29         print_arch_cpuinfo(c);
  30 }
  31