src/cpu/simple_init/simple_cpu_init.c

   1 #include <linux/console.h>
   2 #include <device/device.h>
   3 #include <device/path.h>
   4 #include <device/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_BOOT_CPU;
  20
  21         /* Find the device struct for the boot cpu */
  22         info->cpu = alloc_find_dev(bus, &cpu_path);
  23
  24         /* Initialize the bootstrap processor */
  25         cpu_initialize();
  26 }