projects / pintos-anon / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Fix specification of "write" system call to match the file system
[pintos-anon] / src / devices / vga.h
1 #ifndef DEVICES_VGA_H
2 #define DEVICES_VGA_H
3
4 void vga_putc (int);
5
6 #endif /* devices/vga.h */
Pintos public repository