33,7 → 33,7 |
#define PAGE_WIDTH 12 |
|
#define TRANS_SIZE 1024 |
#define TRANS_ITEM_SIZE 4 |
#define TRANS_ITEM_SIZE 8 |
|
#define KERNEL_START_ADDR 0x80004000 |
|
44,7 → 44,7 |
extern void *trans[TRANS_SIZE]; |
|
extern void halt(); |
extern void jump_to_kernel(void *bootinfo, unsigned long bootinfo_size, void *trans, unsigned long kernel_size, void *framebuffer, void *real_mode) __attribute__((noreturn)); |
extern void jump_to_kernel(void *bootinfo, unsigned long bootinfo_size, void *trans, unsigned long kernel_size, void *real_mode) __attribute__((noreturn)); |
extern void real_mode(); |
|
#endif |