HelenOS sources

kbd_push_data     572 uspace/srv/hid/input/input.c 		kbd_push_data(sdev->kdev, data);
kbd_push_data      77 uspace/srv/hid/input/kbd.h extern void kbd_push_data(kbd_dev_t *, sysarg_t);
kbd_push_data     149 uspace/srv/hid/input/port/chardev.c 		kbd_push_data(kbd_dev, b);