Rev 1166 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1166 | Rev 1395 | ||
|---|---|---|---|
| Line 31... | Line 31... | ||
| 31 | 31 | ||
| 32 | #define PAGE_SIZE 4096 |
32 | #define PAGE_SIZE 4096 |
| 33 | #define PAGE_WIDTH 12 |
33 | #define PAGE_WIDTH 12 |
| 34 | 34 | ||
| 35 | #define TRANS_SIZE 1024 |
35 | #define TRANS_SIZE 1024 |
| 36 | #define TRANS_ITEM_SIZE 4 |
36 | #define TRANS_ITEM_SIZE 8 |
| 37 | 37 | ||
| 38 | #define KERNEL_START_ADDR 0x80004000 |
38 | #define KERNEL_START_ADDR 0x80004000 |
| 39 | 39 | ||
| 40 | #ifndef __ASM__ |
40 | #ifndef __ASM__ |
| 41 | 41 | ||
| 42 | #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
42 | #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
| 43 | 43 | ||
| 44 | extern void *trans[TRANS_SIZE]; |
44 | extern void *trans[TRANS_SIZE]; |
| 45 | 45 | ||
| 46 | extern void halt(); |
46 | extern void halt(); |
| 47 | extern void jump_to_kernel(void *bootinfo, unsigned long bootinfo_size, void *trans, unsigned long kernel_size, void *framebuffer, void *real_mode) __attribute__((noreturn)); |
47 | extern void jump_to_kernel(void *bootinfo, unsigned long bootinfo_size, void *trans, unsigned long kernel_size, void *real_mode) __attribute__((noreturn)); |
| 48 | extern void real_mode(); |
48 | extern void real_mode(); |
| 49 | 49 | ||
| 50 | #endif |
50 | #endif |
| 51 | 51 | ||
| 52 | #endif |
52 | #endif |