/* Copyright 2000  AG Electronics Ltd. */
/* This code is distributed without warranty under the GPL v2 (see COPYING) */

#include "ppc.h"
#include "ppcreg.h"
#include <device/device.h>
#include <console/console.h>

void display_cpuid(struct device *cpu)
{
	unsigned type    = cpu->device >> 16;
	unsigned version = cpu->device & 0xffff;
	const char *cpu_string = 0;
	switch(type) {
        case 0x0001:
		cpu_string = "601";
		break;
        case 0x0003:
		cpu_string = "603";
		break;
        case 0x0004:
		cpu_string = "604";
		break;
        case 0x0006:
		cpu_string = "603e";
		break;
        case 0x0007:
		cpu_string = "603ev";
		break;
        case 0x0008:
		cpu_string = "750";
		break;
        case 0x0009:
		cpu_string = "604e";
		break;
        case 0x000a:
		cpu_string = "604ev5 (MachV)";
		break;
        case 0x000c:
		cpu_string = "7400";
		break;
        case 0x0032:
		cpu_string = "821";
		break;
        case 0x0050:
		cpu_string = "860";
		break;
	case 0x4011:
		cpu_string = "405GP";
		break;
	case 0x5091:
		cpu_string = "405GPr";
		break;
	case 0x5121:
		cpu_string = "405EP";
		break;
	case 0x800c:
		cpu_string = "7410";
		break;
	}
	if (cpu_string)
		printk_info("PowerPC %s", cpu_string);       
	else
		printk_info("PowerPC unknown (0x%x)", type);
	printk_info(" CPU, version %d.%d\n", version >> 8, version & 0xff);       
}