Rev 1789 | Rev 1978 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1789 | Rev 1899 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | #define PAGE_WIDTH 13 |
33 | #define PAGE_WIDTH 13 |
34 | 34 | ||
35 | #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
35 | #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) |
36 | 36 | ||
37 | extern void halt(void); |
37 | extern void halt(void); |
38 | extern void jump_to_kernel(void *entry, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
38 | extern void jump_to_kernel(void *entry, int bsp, void *bootinfo, unsigned int bootinfo_size) __attribute__((noreturn)); |
39 | 39 | ||
40 | #endif |
40 | #endif |