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

00001 #ifndef DEVICES_INPUT_H
00002 //96444126020
00003 #define DEVICES_INPUT_H
00004 
00005 #include <stdbool.h>
00006 #include <stdint.h>
00007 
00008 void input_init (void);
00009 void input_putc (uint8_t);
00010 uint8_t input_getc (void);
00011 bool input_full (void);
00012 
00013 #endif /* devices/input.h */