include/xen/xencons.h

   1 #ifndef __ASM_XENCONS_H__
   2 #define __ASM_XENCONS_H__
   3
   4 int xprintk(const char *, ...) __attribute__ ((__format__(__printf__, 1, 2)));
   5
   6 struct dom0_vga_console_info;
   7 void dom0_init_screen_info(const struct dom0_vga_console_info *, size_t);
   8
   9 void xencons_force_flush(void);
  10 void xencons_resume(void);
  11
  12 #endif /* __ASM_XENCONS_H__ */