1 #include <console/console.h>
5 #include <cpu/ppc/cpuid.h>
6 #include <smp/start_stop.h>
10 #error "FIXME what should call cpu_initialize?"
12 void cpu_initialize(void)
14 /* Because we busy wait at the printk spinlock.
15 * It is important to keep the number of printed messages
16 * from secondary cpus to a minimum, when debugging is
20 struct cpu_info *info;
23 printk_notice("Initializing CPU #%d\n", info->index);
27 die("CPU: missing cpu device structure");
30 /* Find what type of cpu we are dealing with */
31 cpu->vendor 0; /* PPC cpus do not have a vendor field */
32 cpu->device = ppc_getpvr();
36 /* Lookup the cpu's operations */
39 /* Initialize the cpu */
40 if (cpu->ops && cpu->ops->init) {
46 /* Turn on caching if we haven't already */
48 printk_info("CPU #%d Initialized\n", processor_id);