6
#define grub_halt(a) do_exit()
7
#define printf grub_printf
8
void kexec(void *kernel, long kernel_size, void *module, long module_size, char *cmdline, unsigned long flags);
9
struct fbfront_dev *fb_open(void *fb, int width, int height, int depth);