diff options
Diffstat (limited to 'extras/mini-os/arch/x86/x86_32.S')
| -rw-r--r-- | extras/mini-os/arch/x86/x86_32.S | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/extras/mini-os/arch/x86/x86_32.S b/extras/mini-os/arch/x86/x86_32.S index 09ffeda9ba..4b9a337c08 100644 --- a/extras/mini-os/arch/x86/x86_32.S +++ b/extras/mini-os/arch/x86/x86_32.S @@ -1,4 +1,5 @@ #include <os.h> +#include <arch_mm.h> #include <xen/arch-x86_32.h> .section __xen_guest @@ -21,12 +22,12 @@ _start: cld lss stack_start,%esp - andl $(~(8192-1)), %esp + andl $(~(STACK_SIZE-1)), %esp push %esi call start_kernel stack_start: - .long stack+(2*8192), __KERNEL_SS + .long stack+(2*STACK_SIZE), __KERNEL_SS /* Unpleasant -- the PTE that maps this page is actually overwritten */ /* to map the real shared-info page! :-) */ |