blob: 75298fe2edca6ac30c76354a573c87fb4eab135c [file] [log] [blame]
H. Peter Anvin31b54f42007-07-11 12:18:47 -07001/* -*- linux-c -*- ------------------------------------------------------- *
2 *
3 * Copyright (C) 1991, 1992 Linus Torvalds
H. Peter Anvinf0be6c62008-02-04 16:48:00 +01004 * Copyright 2007-2008 rPath, Inc. - All Rights Reserved
H. Peter Anvin31b54f42007-07-11 12:18:47 -07005 *
6 * This file is part of the Linux kernel, and is made available under
7 * the terms of the GNU General Public License version 2.
8 *
9 * ----------------------------------------------------------------------- */
10
11/*
H. Peter Anvinf0be6c62008-02-04 16:48:00 +010012 * arch/x86/boot/cpu.c
H. Peter Anvin31b54f42007-07-11 12:18:47 -070013 *
14 * Check for obligatory CPU features and abort if the features are not
15 * present.
16 */
17
18#include "boot.h"
H. Peter Anvinf0be6c62008-02-04 16:48:00 +010019#include "cpustr.h"
20
H. Peter Anvin31b54f42007-07-11 12:18:47 -070021static char *cpu_name(int level)
22{
23 static char buf[6];
24
25 if (level == 64) {
26 return "x86-64";
27 } else {
Dave Jonesc7d624d2008-05-28 12:57:13 -040028 if (level == 15)
29 level = 6;
H. Peter Anvin31b54f42007-07-11 12:18:47 -070030 sprintf(buf, "i%d86", level);
31 return buf;
32 }
33}
34
35int validate_cpu(void)
36{
37 u32 *err_flags;
38 int cpu_level, req_level;
H. Peter Anvinf0be6c62008-02-04 16:48:00 +010039 const unsigned char *msg_strs;
H. Peter Anvin31b54f42007-07-11 12:18:47 -070040
41 check_cpu(&cpu_level, &req_level, &err_flags);
42
43 if (cpu_level < req_level) {
44 printf("This kernel requires an %s CPU, ",
45 cpu_name(req_level));
46 printf("but only detected an %s CPU.\n",
47 cpu_name(cpu_level));
48 return -1;
49 }
50
51 if (err_flags) {
52 int i, j;
53 puts("This kernel requires the following features "
54 "not present on the CPU:\n");
55
H. Peter Anvinf0be6c62008-02-04 16:48:00 +010056 msg_strs = (const unsigned char *)x86_cap_strs;
57
H. Peter Anvin31b54f42007-07-11 12:18:47 -070058 for (i = 0; i < NCAPINTS; i++) {
59 u32 e = err_flags[i];
60
61 for (j = 0; j < 32; j++) {
H. Peter Anvinf0be6c62008-02-04 16:48:00 +010062 int n = (i << 5)+j;
63 if (*msg_strs < n) {
64 /* Skip to the next string */
65 do {
66 msg_strs++;
67 } while (*msg_strs);
68 msg_strs++;
69 }
70 if (e & 1) {
71 if (*msg_strs == n && msg_strs[1])
72 printf("%s ", msg_strs+1);
73 else
74 printf("%d:%d ", i, j);
75 }
H. Peter Anvin31b54f42007-07-11 12:18:47 -070076 e >>= 1;
77 }
78 }
79 putchar('\n');
80 return -1;
81 } else {
82 return 0;
83 }
84}