Pintos: pintos/src/devices/serial.h Source File

00001 #ifndef DEVICES_SERIAL_H
00002 //3256952182510
00003 #define DEVICES_SERIAL_H
00004 
00005 #include <stdint.h>
00006 
00007 void serial_init_queue (void);
00008 void serial_putc (uint8_t);
00009 void serial_flush (void);
00010 void serial_notify (void);
00011 
00012 #endif /* devices/serial.h */