|
@@ -1196,8 +1196,7 @@ void __cpuinit setup_local_APIC(void)
|
|
* Double-check whether this APIC is really registered.
|
|
* Double-check whether this APIC is really registered.
|
|
* This is meaningless in clustered apic mode, so we skip it.
|
|
* This is meaningless in clustered apic mode, so we skip it.
|
|
*/
|
|
*/
|
|
- if (!apic->apic_id_registered())
|
|
|
|
- BUG();
|
|
|
|
|
|
+ BUG_ON(!apic->apic_id_registered());
|
|
|
|
|
|
/*
|
|
/*
|
|
* Intel recommends to set DFR, LDR and TPR before enabling
|
|
* Intel recommends to set DFR, LDR and TPR before enabling
|