|
@@ -733,13 +733,13 @@ struct early_res {
|
|
};
|
|
};
|
|
static struct early_res early_res[MAX_EARLY_RES] __initdata = {
|
|
static struct early_res early_res[MAX_EARLY_RES] __initdata = {
|
|
{ 0, PAGE_SIZE, "BIOS data page", 1 }, /* BIOS data page */
|
|
{ 0, PAGE_SIZE, "BIOS data page", 1 }, /* BIOS data page */
|
|
-#ifdef CONFIG_X86_32
|
|
|
|
|
|
+#if defined(CONFIG_X86_32) && defined(CONFIG_X86_TRAMPOLINE)
|
|
/*
|
|
/*
|
|
* But first pinch a few for the stack/trampoline stuff
|
|
* But first pinch a few for the stack/trampoline stuff
|
|
* FIXME: Don't need the extra page at 4K, but need to fix
|
|
* FIXME: Don't need the extra page at 4K, but need to fix
|
|
* trampoline before removing it. (see the GDT stuff)
|
|
* trampoline before removing it. (see the GDT stuff)
|
|
*/
|
|
*/
|
|
- { PAGE_SIZE, PAGE_SIZE, "EX TRAMPOLINE", 1 },
|
|
|
|
|
|
+ { PAGE_SIZE, PAGE_SIZE + PAGE_SIZE, "EX TRAMPOLINE", 1 },
|
|
#endif
|
|
#endif
|
|
|
|
|
|
{}
|
|
{}
|