#include <console/console.h>
#include <arch/io.h>
#include <string.h>
#include <cpu/cpu.h>
#include <cpu/ppc/cpuid.h>
#include <smp/start_stop.h>
#include "ppc.h"
#include "ppcreg.h"

#error "FIXME what should call cpu_initialize?"

void cpu_initialize(void)
{
	/* Because we busy wait at the printk spinlock.
	 * It is important to keep the number of printed messages
	 * from secondary cpus to a minimum, when debugging is
	 * disabled.
	 */
	struct device *cpu;
	struct cpu_info *info;
	info = cpu_info();

	printk_notice("Initializing CPU #%d\n", info->index);

	cpu = info->cpu;
	if (!cpu) {
		die("CPU: missing cpu device structure");
	}
	
	/* Find what type of cpu we are dealing with */
	cpu->vendor 0;	/* PPC cpus do not have a vendor field */
	cpu->device = ppc_getpvr();
	display_cpuid(cpu);

#if 0
	/* Lookup the cpu's operations */
	set_cpu_ops(cpu);

	/* Initialize the cpu */
	if (cpu->ops && cpu->ops->init) {
		cpu->enabled = 1;
		cpu->initialized = 1;
		cpu->ops->init();
	}
#endif	
	/* Turn on caching if we haven't already */

	printk_info("CPU #%d Initialized\n", processor_id);
	return processor_id;
}