1 #ifndef BOOT_COMPRESSED_PAGETABLE_H
2 #define BOOT_COMPRESSED_PAGETABLE_H
4 #define TRAMPOLINE_32BIT_SIZE (2 * PAGE_SIZE)
6 #define TRAMPOLINE_32BIT_PGTABLE_OFFSET 0
8 #define TRAMPOLINE_32BIT_CODE_OFFSET PAGE_SIZE
9 #define TRAMPOLINE_32BIT_CODE_SIZE 0x60
11 #define TRAMPOLINE_32BIT_STACK_END TRAMPOLINE_32BIT_SIZE
15 extern unsigned long *trampoline_32bit
;
17 extern void trampoline_32bit_src(void *return_ptr
);
19 #endif /* __ASSEMBLER__ */
20 #endif /* BOOT_COMPRESSED_PAGETABLE_H */