2 * This file is part of the coreboot project.
4 * Copyright (C) 2000 AG Electronics Ltd.
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
22 #include <device/device.h>
23 #include <console/console.h>
25 void display_cpuid(struct device *cpu)
27 unsigned type = cpu->device >> 16;
28 unsigned version = cpu->device & 0xffff;
29 const char *cpu_string = 0;
53 cpu_string = "604ev5 (MachV)";
68 cpu_string = "405GPr";
78 printk_info("PowerPC %s", cpu_string);
80 printk_info("PowerPC unknown (0x%x)", type);
81 printk_info(" CPU, version %d.%d\n", version >> 8, version & 0xff);