|
@@ -37,7 +37,6 @@ struct desc_ptr idt_descr = { 256 * 16 - 1, (unsigned long) idt_table };
|
|
char boot_cpu_stack[IRQSTACKSIZE] __attribute__((section(".bss.page_aligned")));
|
|
char boot_cpu_stack[IRQSTACKSIZE] __attribute__((section(".bss.page_aligned")));
|
|
|
|
|
|
unsigned long __supported_pte_mask __read_mostly = ~0UL;
|
|
unsigned long __supported_pte_mask __read_mostly = ~0UL;
|
|
-EXPORT_SYMBOL(__supported_pte_mask);
|
|
|
|
static int do_not_nx __cpuinitdata = 0;
|
|
static int do_not_nx __cpuinitdata = 0;
|
|
|
|
|
|
/* noexec=on|off
|
|
/* noexec=on|off
|