1 #include <stdio.h> 2 #undef putchar 3 #include <ctype.h> 4 #include <string.h> 5 #include <kernel.h> 6 #define debug _debug 7 #define grub_halt(a) do_exit() 8 #define printf grub_printf 9 void kexec(void *kernel, long kernel_size, void *module, long module_size, char *cmdline, unsigned long flags); 10 struct fbfront_dev *fb_open(void *fb, int width, int height, int depth); 11 void fb_close(void); 12 void pv_boot (void); 13