|
@@ -73,11 +73,9 @@ char ignore_fpu_irq;
|
|
|
|
|
|
/*
|
|
|
* The IDT has to be page-aligned to simplify the Pentium
|
|
|
- * F0 0F bug workaround.. We have a special link segment
|
|
|
- * for this.
|
|
|
+ * F0 0F bug workaround.
|
|
|
*/
|
|
|
-gate_desc idt_table[NR_VECTORS]
|
|
|
- __attribute__((__section__(".data.idt"))) = { { { { 0, 0 } } }, };
|
|
|
+gate_desc idt_table[NR_VECTORS] __page_aligned_data = { { { { 0, 0 } } }, };
|
|
|
#endif
|
|
|
|
|
|
DECLARE_BITMAP(used_vectors, NR_VECTORS);
|