Rev 1339 | Rev 1451 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1339 | Rev 1344 | ||
|---|---|---|---|
| Line 32... | Line 32... | ||
| 32 | #include <types.h> |
32 | #include <types.h> |
| 33 | 33 | ||
| 34 | void key_buffer_free(void); |
34 | void key_buffer_free(void); |
| 35 | void key_buffer_init(void); |
35 | void key_buffer_init(void); |
| 36 | int key_buffer_available(void); |
36 | int key_buffer_available(void); |
| - | 37 | int key_buffer_empty(void); |
|
| 37 | void key_buffer_push(char key); |
38 | void key_buffer_push(char key); |
| 38 | int key_buffer_pop(char *c); |
39 | int key_buffer_pop(char *c); |
| 39 | 40 | ||
| 40 | #endif |
41 | #endif |
| 41 | 42 | ||