|
@@ -758,7 +758,7 @@ void __init arch_init_irq(void)
|
|
|
dec_interrupt[DEC_IRQ_HALT] = -1;
|
|
dec_interrupt[DEC_IRQ_HALT] = -1;
|
|
|
|
|
|
|
|
/* Register board interrupts: FPU and cascade. */
|
|
/* Register board interrupts: FPU and cascade. */
|
|
|
- if (dec_interrupt[DEC_IRQ_FPU] >= 0) {
|
|
|
|
|
|
|
+ if (dec_interrupt[DEC_IRQ_FPU] >= 0 && cpu_has_fpu) {
|
|
|
struct irq_desc *desc_fpu;
|
|
struct irq_desc *desc_fpu;
|
|
|
int irq_fpu;
|
|
int irq_fpu;
|
|
|
|
|
|