HelenOS sources

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,