32
extern int kbd_buf_is_empty(void);
33
extern int kbd_buf_init(int location, int plocation, int buffer_size,
35
extern void kbd_buf_shutdown(void);
36
extern int kbd_buf_feed(const char *s);
37
extern int kdb_buf_feed_string(const char *string);
38
extern void kbd_buf_flush(void);
39
extern int kbd_buf_cmdline_options_init(void);
32
extern int kbdbuf_is_empty(void);
33
extern int kbdbuf_init(int location, int plocation, int buffer_size,
35
extern void kbdbuf_shutdown(void);
36
extern int kbdbuf_feed(const char *s);
37
extern int kbdbuf_feed_string(const char *string);
38
extern void kbdbuf_flush(void);
39
extern int kbdbuf_cmdline_options_init(void);