DEVMAN_GET_DRIVERS 625 uspace/lib/device/src/devman.c return devman_get_handles_internal(DEVMAN_GET_DRIVERS, 0, drvs, count); DEVMAN_GET_DRIVERS 795 uspace/srv/devman/client_conn.c case DEVMAN_GET_DRIVERS: