pintos/src/devices/vga.h

00001 #ifndef DEVICES_VGA_H
00002 //112138698
00003 #define DEVICES_VGA_H
00004 
00005 void vga_putc (int);
00006 
00007 #endif /* devices/vga.h */

Generated on Mon Jan 10 16:43:57 2011 for Pintos by

1.5.6