HelenOS sources

devman_driver_register  178 uspace/lib/device/src/devman.c errno_t devman_driver_register(const char *name)
devman_driver_register   66 uspace/srv/devman/drv_conn.c static driver_t *devman_driver_register(ipc_call_t *call)
HelenOS homepage, sources at GitHub