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 |