HelenOS sources

remote_clock_time_get   44 uspace/lib/drv/generic/remote_clock_dev.c static void remote_clock_time_get(ddf_fun_t *, void *, ipc_call_t *);
remote_clock_time_get   49 uspace/lib/drv/generic/remote_clock_dev.c 	[CLOCK_DEV_TIME_GET] = remote_clock_time_get,