1 #include <linux/console.h>
2 #include <device/device.h>
3 #include <device/path.h>
4 #include <device/cpu.h>
7 #error "This Configuration does not support SMP"
10 void initialize_cpus(device_t root)
12 struct device_path cpu_path;
13 struct cpu_info *info;
15 /* Find the info struct for this cpu */
18 /* Get the device path of the boot cpu */
19 cpu_path.type = DEVICE_PATH_BOOT_CPU;
21 /* Find the device struct for the boot cpu */
22 info->cpu = alloc_find_dev(root->link[1], &cpu_path);
24 /* Initialize the bootstrap processor */