]>
Commit | Line | Data |
---|---|---|
3548e131 KS |
1 | #ifndef BOOT_COMPRESSED_PAGETABLE_H |
2 | #define BOOT_COMPRESSED_PAGETABLE_H | |
3 | ||
4 | #define TRAMPOLINE_32BIT_SIZE (2 * PAGE_SIZE) | |
5 | ||
32fcefa2 KS |
6 | #define TRAMPOLINE_32BIT_PGTABLE_OFFSET 0 |
7 | ||
8 | #define TRAMPOLINE_32BIT_CODE_OFFSET PAGE_SIZE | |
9 | #define TRAMPOLINE_32BIT_CODE_SIZE 0x60 | |
10 | ||
11 | #define TRAMPOLINE_32BIT_STACK_END TRAMPOLINE_32BIT_SIZE | |
12 | ||
3548e131 KS |
13 | #ifndef __ASSEMBLER__ |
14 | ||
15 | extern unsigned long *trampoline_32bit; | |
16 | ||
32fcefa2 KS |
17 | extern void trampoline_32bit_src(void *return_ptr); |
18 | ||
3548e131 KS |
19 | #endif /* __ASSEMBLER__ */ |
20 | #endif /* BOOT_COMPRESSED_PAGETABLE_H */ |