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 
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