fix Wiz timer drift and button name

[picodrive.git] / platform / linux / in_evdev.h

void in_evdev_init(void *vdrv);
int  in_evdev_update(void *drv_data, const int *binds, int *result);