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 0x70 10 11#define TRAMPOLINE_32BIT_STACK_END TRAMPOLINE_32BIT_SIZE 12 13#ifndef __ASSEMBLER__ 14 15extern unsigned long *trampoline_32bit; 16 17extern void trampoline_32bit_src(void *return_ptr); 18 19#endif /* __ASSEMBLER__ */ 20#endif /* BOOT_COMPRESSED_PAGETABLE_H */ 21