|
@@ -63,19 +63,19 @@
|
|
#include <asm/x86_init.h>
|
|
#include <asm/x86_init.h>
|
|
#include <asm/pgalloc.h>
|
|
#include <asm/pgalloc.h>
|
|
#include <asm/proto.h>
|
|
#include <asm/proto.h>
|
|
|
|
+
|
|
|
|
+/* No need to be aligned, but done to keep all IDTs defined the same way. */
|
|
|
|
+gate_desc debug_idt_table[NR_VECTORS] __page_aligned_bss;
|
|
#else
|
|
#else
|
|
#include <asm/processor-flags.h>
|
|
#include <asm/processor-flags.h>
|
|
#include <asm/setup.h>
|
|
#include <asm/setup.h>
|
|
|
|
|
|
asmlinkage int system_call(void);
|
|
asmlinkage int system_call(void);
|
|
-
|
|
|
|
-/*
|
|
|
|
- * The IDT has to be page-aligned to simplify the Pentium
|
|
|
|
- * F0 0F bug workaround.
|
|
|
|
- */
|
|
|
|
-gate_desc idt_table[NR_VECTORS] __page_aligned_data = { { { { 0, 0 } } }, };
|
|
|
|
#endif
|
|
#endif
|
|
|
|
|
|
|
|
+/* Must be page-aligned because the real IDT is used in a fixmap. */
|
|
|
|
+gate_desc idt_table[NR_VECTORS] __page_aligned_bss;
|
|
|
|
+
|
|
DECLARE_BITMAP(used_vectors, NR_VECTORS);
|
|
DECLARE_BITMAP(used_vectors, NR_VECTORS);
|
|
EXPORT_SYMBOL_GPL(used_vectors);
|
|
EXPORT_SYMBOL_GPL(used_vectors);
|
|
|
|
|