INTERFACE_DEVMAN_DEVICE 294 uspace/lib/device/src/devman.c INTERFACE_DEVMAN_DEVICE, handle, NULL); INTERFACE_DEVMAN_DEVICE 297 uspace/lib/device/src/devman.c INTERFACE_DEVMAN_DEVICE, handle, NULL); INTERFACE_DEVMAN_DEVICE 356 uspace/srv/devman/main.c rc = service_register(SERVICE_DEVMAN, INTERFACE_DEVMAN_DEVICE,HelenOS homepage, sources at GitHub