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 32 milliseconds