PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
devices
vga.h
Go to the documentation of this file.
1
#ifndef DEVICES_VGA_H
2
#define DEVICES_VGA_H
3
4
void
vga_putc
(
int
);
5
6
#endif
/**< devices/vga.h */
vga_putc
void vga_putc(int)
devices/vga.h
Definition:
vga.c:52
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by
1.9.2
1.9.2