CLOCK_DEV_TIME_GET 42 uspace/lib/c/include/device/clock_dev.h CLOCK_DEV_TIME_GET = 0, CLOCK_DEV_TIME_GET 42 uspace/lib/posix/include/libc/device/clock_dev.h CLOCK_DEV_TIME_GET = 0,