devman_connection_driver 39 uspace/srv/devman/drv_conn.h extern void devman_connection_driver(ipc_call_t *, void *); devman_connection_driver 343 uspace/srv/devman/main.c devman_connection_driver, NULL);