CLOCK_DEV_TIME_GET 57 uspace/lib/c/generic/device/clock_dev.c CLOCK_DEV_TIME_GET, NULL); CLOCK_DEV_TIME_GET 49 uspace/lib/drv/generic/remote_clock_dev.c [CLOCK_DEV_TIME_GET] = remote_clock_time_get,