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