#ifndef XEN_HVC_CONSOLE_H
#define XEN_HVC_CONSOLE_H
extern struct console xenboot_console;
#endif /* XEN_HVC_CONSOLE_H */