added bad-jump/read/write bad-jump2/read2/write2 to check that process
[pintos-anon] / src / devices / vga.h
1 #ifndef DEVICES_VGA_H
2 #define DEVICES_VGA_H
3
4 void vga_init (void);
5 void vga_putc (int);
6
7 #endif /* devices/vga.h */