src/cpu/simple_init/simple_cpu_init.c

   1 #include <console/console.h>
   2 #include <device/device.h>
   3 #include <device/path.h>
   4 #include <cpu/cpu.h>
   5
   6 #if CONFIG_SMP
   7 #error "This Configuration does not support SMP"
   8 #endif
   9
  10 void initialize_cpus(struct bus *cpu_bus)
  11 {
  12         struct device_path cpu_path;
  13         struct cpu_info *info;
  14
  15         /* Find the info struct for this cpu */
  16         info = cpu_info();
  17
  18         /* Get the device path of the boot cpu */
  19         cpu_path.type = DEVICE_PATH_CPU;
  20         cpu_path.cpu.id = 0;
  21
  22         /* Find the device struct for the boot cpu */
  23         info->cpu = alloc_find_dev(cpu_bus, &cpu_path);
  24
  25         /* Initialize the bootstrap processor */
  26         cpu_initialize();
  27 }