boot/compressed/pgtable.h

0001 #ifndef BOOT_COMPRESSED_PAGETABLE_H
0002 #define BOOT_COMPRESSED_PAGETABLE_H
0003
0004 #define TRAMPOLINE_32BIT_SIZE       (2 * PAGE_SIZE)
0005
0006 #define TRAMPOLINE_32BIT_PGTABLE_OFFSET 0
0007
0008 #define TRAMPOLINE_32BIT_CODE_OFFSET    PAGE_SIZE
0009 #define TRAMPOLINE_32BIT_CODE_SIZE  0x80
0010
0011 #define TRAMPOLINE_32BIT_STACK_END  TRAMPOLINE_32BIT_SIZE
0012
0013 #ifndef __ASSEMBLER__
0014
0015 extern unsigned long *trampoline_32bit;
0016
0017 extern void trampoline_32bit_src(void *return_ptr);
0018
0019 #endif /* __ASSEMBLER__ */
0020 #endif /* BOOT_COMPRESSED_PAGETABLE_H */