Searched refs:keyboard_service_name (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/drivers/usb/usb_keyboard/
H A Dusb_keyboard_service.c26 static const char *keyboard_service_name = "keyboard"; variable
58 err = nameservice_register(keyboard_service_name, iref);

Completed in 66 milliseconds