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

/barrelfish-master/usr/drivers/usb/usb_keyboard/
H A Dusb_keyboard_service.c31 static volatile uint8_t keyboard_service_registered = 0; variable
61 keyboard_service_registered = 1;
105 while (!keyboard_service_registered) {

Completed in 28 milliseconds