Searched refs:clock_id (Results 1 - 5 of 5) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/linux/
H A Dclock_adjtime.c4 int clock_adjtime (clockid_t clock_id, struct timex *utx) argument
6 return syscall(SYS_clock_adjtime, clock_id, utx);
/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dserial.h29 enum clk_id clock_id; member in struct:__anon1
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dserial.h29 enum clk_id clock_id; member in struct:__anon2
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dserial.c524 static clk_t *clk_init(enum clk_id clock_id, ps_io_ops_t *ops) argument
528 return clk_get_clock(&ops->clock_sys, clock_id);
575 enum clk_id clock_id = serial_params->clock_id; local
581 clk = clk_init(clock_id, (ps_io_ops_t *)o);
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dserial.c524 static clk_t *clk_init(enum clk_id clock_id, ps_io_ops_t *ops) argument
528 return clk_get_clock(&ops->clock_sys, clock_id);
575 enum clk_id clock_id = serial_params->clock_id; local
581 clk = clk_init(clock_id, (ps_io_ops_t *)o);

Completed in 40 milliseconds