DEVMAN_DRIVER_GET_DEVICES 631 uspace/lib/device/src/devman.c return devman_get_handles_internal(DEVMAN_DRIVER_GET_DEVICES, DEVMAN_DRIVER_GET_DEVICES 798 uspace/srv/devman/client_conn.c case DEVMAN_DRIVER_GET_DEVICES:HelenOS homepage, sources at GitHub