|
@@ -796,7 +796,7 @@ void clear_local_APIC(void)
|
|
|
*/
|
|
|
void disable_local_APIC(void)
|
|
|
{
|
|
|
- unsigned long value;
|
|
|
+ unsigned int value;
|
|
|
|
|
|
clear_local_APIC();
|
|
|
|
|
@@ -808,6 +808,7 @@ void disable_local_APIC(void)
|
|
|
value &= ~APIC_SPIV_APIC_ENABLED;
|
|
|
apic_write(APIC_SPIV, value);
|
|
|
|
|
|
+#ifdef CONFIG_X86_32
|
|
|
/*
|
|
|
* When LAPIC was disabled by the BIOS and enabled by the kernel,
|
|
|
* restore the disabled state.
|
|
@@ -819,6 +820,7 @@ void disable_local_APIC(void)
|
|
|
l &= ~MSR_IA32_APICBASE_ENABLE;
|
|
|
wrmsr(MSR_IA32_APICBASE, l, h);
|
|
|
}
|
|
|
+#endif
|
|
|
}
|
|
|
|
|
|
/*
|