^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) #ifndef BOOT_COMPRESSED_PAGETABLE_H
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) #define BOOT_COMPRESSED_PAGETABLE_H
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) #define TRAMPOLINE_32BIT_SIZE (2 * PAGE_SIZE)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) #define TRAMPOLINE_32BIT_PGTABLE_OFFSET 0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) #define TRAMPOLINE_32BIT_CODE_OFFSET PAGE_SIZE
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) #define TRAMPOLINE_32BIT_CODE_SIZE 0x70
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) #define TRAMPOLINE_32BIT_STACK_END TRAMPOLINE_32BIT_SIZE
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) #ifndef __ASSEMBLER__
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) extern unsigned long *trampoline_32bit;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) extern void trampoline_32bit_src(void *return_ptr);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) #endif /* __ASSEMBLER__ */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) #endif /* BOOT_COMPRESSED_PAGETABLE_H */