CLOCK_DEV_TIME_SET 88 uspace/lib/c/generic/device/clock_dev.c CLOCK_DEV_TIME_SET, NULL); CLOCK_DEV_TIME_SET 50 uspace/lib/drv/generic/remote_clock_dev.c [CLOCK_DEV_TIME_SET] = remote_clock_time_set,