|
@@ -81,21 +81,6 @@ static void __init check_fpu(void)
|
|
|
}
|
|
|
}
|
|
|
|
|
|
-/*
|
|
|
- * Check whether we are able to run this kernel safely on SMP.
|
|
|
- *
|
|
|
- * - i386 is no longer supported.
|
|
|
- * - In order to run on anything without a TSC, we need to be
|
|
|
- * compiled for a i486.
|
|
|
- */
|
|
|
-
|
|
|
-static void __init check_config(void)
|
|
|
-{
|
|
|
- if (boot_cpu_data.x86 < 4)
|
|
|
- panic("Kernel requires i486+ for 'invlpg' and other features");
|
|
|
-}
|
|
|
-
|
|
|
-
|
|
|
void __init check_bugs(void)
|
|
|
{
|
|
|
identify_boot_cpu();
|
|
@@ -103,7 +88,17 @@ void __init check_bugs(void)
|
|
|
pr_info("CPU: ");
|
|
|
print_cpu_info(&boot_cpu_data);
|
|
|
#endif
|
|
|
- check_config();
|
|
|
+
|
|
|
+ /*
|
|
|
+ * Check whether we are able to run this kernel safely on SMP.
|
|
|
+ *
|
|
|
+ * - i386 is no longer supported.
|
|
|
+ * - In order to run on anything without a TSC, we need to be
|
|
|
+ * compiled for a i486.
|
|
|
+ */
|
|
|
+ if (boot_cpu_data.x86 < 4)
|
|
|
+ panic("Kernel requires i486+ for 'invlpg' and other features");
|
|
|
+
|
|
|
init_utsname()->machine[1] =
|
|
|
'0' + (boot_cpu_data.x86 > 6 ? 6 : boot_cpu_data.x86);
|
|
|
alternative_instructions();
|