9 extern void *fb_pixels, *vmem;
11 extern long time_msec;
13 extern void (*swap_buffers)(void*);
20 KB_NUM_0, KB_NUM_1, KB_NUM_2, KB_NUM_3, KB_NUM_4,
21 KB_NUM_5, KB_NUM_6, KB_NUM_7, KB_NUM_8, KB_NUM_9,
22 KB_NUM_DOT, KB_NUM_DIV, KB_NUM_MUL, KB_NUM_MINUS, KB_NUM_PLUS, KB_NUM_ENTER, KB_NUM_EQUALS,
23 KB_UP, KB_DOWN, KB_RIGHT, KB_LEFT,
24 KB_INSERT, KB_HOME, KB_END, KB_PGUP, KB_PGDN,
25 KB_F1, KB_F2, KB_F3, KB_F4, KB_F5, KB_F6,
26 KB_F7, KB_F8, KB_F9, KB_F10, KB_F11, KB_F12,
27 KB_F13, KB_F14, KB_F15,
28 KB_NUMLK, KB_CAPSLK, KB_SCRLK,
29 KB_RSHIFT, KB_LSHIFT, KB_RCTRL, KB_LCTRL, KB_RALT, KB_LALT,
30 KB_RMETA, KB_LMETA, KB_LSUPER, KB_RSUPER, KB_MODE, KB_COMPOSE,
31 KB_HELP, KB_PRINT, KB_SYSRQ, KB_BREAK
34 int init(int argc, char **argv);
37 extern void (*draw)(void);
38 extern void (*key_event)(int key, int pressed);