#include #include "gl-int.h" static int x_probe(const char *path __attribute__((__unused__))) { return(0); } static int x_setup(const char *path __attribute__((__unused__))) { TICKS_PER_SEC = 50; return(1); } static void x_shutdown(void) { } static const char *x_keyname(int key __attribute__((__unused__))) { return(""); } IDEV idev_none = { "none", "Null keyboard - no input ever generated", x_probe, x_setup, x_shutdown, x_keyname };