#ifndef BOOT_COMPRESSED_PAGETABLE_H
|
#define BOOT_COMPRESSED_PAGETABLE_H
|
|
#define TRAMPOLINE_32BIT_SIZE (2 * PAGE_SIZE)
|
|
#define TRAMPOLINE_32BIT_PGTABLE_OFFSET 0
|
|
#define TRAMPOLINE_32BIT_CODE_OFFSET PAGE_SIZE
|
#define TRAMPOLINE_32BIT_CODE_SIZE 0x70
|
|
#define TRAMPOLINE_32BIT_STACK_END TRAMPOLINE_32BIT_SIZE
|
|
#ifndef __ASSEMBLER__
|
|
extern unsigned long *trampoline_32bit;
|
|
extern void trampoline_32bit_src(void *return_ptr);
|
|
#endif /* __ASSEMBLER__ */
|
#endif /* BOOT_COMPRESSED_PAGETABLE_H */
|
