Searched refs:kservice_name (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/drivers/lpc_kbd/ | ||
H A D | main.c | 23 static const char *kservice_name = "keyboard"; variable 74 err = nameservice_register(kservice_name, iref); |
Completed in 27 milliseconds