pintos-os.org Git - pintos-anon/blob - src/devices/vga.h

   1 #ifndef HEADER_VGA_H
   2 #define HEADER_VGA_H 1
   3
   4 void vga_init (void);
   5 void vga_cls (void);
   6 void vga_putc (int);
   7
   8 #endif /* vga.h */