debuggers.hg

view stubdom/grub/config.h @ 22848:6341fe0f4e5a

Added tag 4.1.0-rc2 for changeset 9dca60d88c63
author Keir Fraser <keir@xen.org>
date Tue Jan 25 14:06:55 2011 +0000 (2011-01-25)
parents 5f076dbdab6c
children
line source
1 #include <stdio.h>
2 #undef putchar
3 #include <ctype.h>
4 #include <string.h>
5 #define debug _debug
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);
10 void fb_close(void);
11 void pv_boot (void);