Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


updated to use pa_to_va address conversion
[palacios.releases.git] / 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