HelenOS sources

usb_kbd_is_initialized  769 uspace/drv/hid/usbhid/kbd/kbddev.c 		if (usb_kbd_is_initialized(kbd_dev)) {
usb_kbd_is_initialized  119 uspace/drv/hid/usbhid/kbd/kbddev.h extern int usb_kbd_is_initialized(const usb_kbd_t *);
usb_kbd_is_initialized   75 uspace/drv/hid/usbhid/kbd/kbdrepeat.c 		if (!usb_kbd_is_initialized(kbd)) {