| Jeremy Fitzhardinge | b536b4b | 2007-07-17 18:37:06 -0700 | [diff] [blame] | 1 | #ifndef XEN_HVC_CONSOLE_H |
| 2 | #define XEN_HVC_CONSOLE_H | ||||
| 3 | |||||
| 4 | extern struct console xenboot_console; | ||||
| 5 | |||||
| Jeremy Fitzhardinge | 0acf10d | 2008-05-26 23:30:59 +0100 | [diff] [blame^] | 6 | void xen_raw_console_write(const char *str); |
| 7 | void xen_raw_printk(const char *fmt, ...); | ||||
| 8 | |||||
| Jeremy Fitzhardinge | b536b4b | 2007-07-17 18:37:06 -0700 | [diff] [blame] | 9 | #endif /* XEN_HVC_CONSOLE_H */ |