1 #ifndef BOOT_COMPRESSED_PAGETABLE_H 2 #define BOOT_COMPRESSED_PAGETABLE_H 3 4 #define TRAMPOLINE_32BIT_SIZE (2 * PAGE_SIZE) 5 6 #define TRAMPOLINE_32BIT_PGTABLE_OFFSET 0 7 8 #define TRAMPOLINE_32BIT_CODE_OFFSET PAGE_SIZE 9 #define TRAMPOLINE_32BIT_CODE_SIZE 0x80 10 11 #define TRAMPOLINE_32BIT_STACK_END TRAMPOLINE_32BIT_SIZE 12 13 #ifndef __ASSEMBLER__ 14 15 extern unsigned long *trampoline_32bit; 16 17 extern void trampoline_32bit_src(void *return_ptr); 18 19 #endif /* __ASSEMBLER__ */ 20 #endif /* BOOT_COMPRESSED_PAGETABLE_H */ 21