HelenOS sources

devman_driver_unload  721 uspace/lib/device/src/devman.c errno_t devman_driver_unload(devman_handle_t drvh)
devman_driver_unload  728 uspace/srv/devman/client_conn.c static void devman_driver_unload(ipc_call_t *icall)
HelenOS homepage, sources at GitHub