/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_condattr_setclock.c | 3 int pthread_condattr_setclock(pthread_condattr_t *a, clockid_t clk) argument 5 if (clk < 0 || clk-2U < 2) return EINVAL; 7 a->__attr |= clk;
|
H A D | __timedwait.c | 12 clockid_t clk, const struct timespec *at, int priv) 21 if (__clock_gettime(clk, &to)) return EINVAL; 39 clockid_t clk, const struct timespec *at, int priv) 43 r = __timedwait_cp(addr, val, clk, at, priv); 11 __timedwait_cp(volatile int *addr, int val, clockid_t clk, const struct timespec *at, int priv) argument 38 __timedwait(volatile int *addr, int val, clockid_t clk, const struct timespec *at, int priv) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | clock.h | 43 clk_get_clock_sys(clk_t* clk) argument 45 assert(clk); 46 return clk->clk_sys; 50 clk_init(clk_t* clk) argument 52 assert(clk); 53 assert(clk->init); 54 return clk->init(clk); 58 clk_recal(clk_t* clk) argument 60 assert(clk); [all...] |
H A D | clock.c | 19 static freq_t _fixed_clk_get_freq(clk_t *clk) argument 21 return clk->req_freq; 24 static freq_t _fixed_clk_set_freq(clk_t *clk, freq_t hz UNUSED) argument 26 return clk_get_freq(clk); 29 void _fixed_clk_recal(clk_t *clk UNUSED) 34 clk_t *_fixed_clk_init(clk_t *clk) argument 36 return clk; 40 freq_t _default_clk_get_freq(clk_t *clk) argument 42 assert(clk->id < NCLOCKS); 43 return ps_freq_default[clk 46 _default_clk_set_freq(clk_t *clk, freq_t hz UNUSED) argument 56 _default_clk_init(clk_t *clk) argument 66 clk_t *clk; local 109 clk_t *clk; local 118 clk_print_tree(clk_t *clk, const char *prefix) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/time/ |
H A D | clock_getres.c | 4 int clock_getres(clockid_t clk, struct timespec *ts) argument 6 return syscall(SYS_clock_getres, clk, ts);
|
H A D | clock_settime.c | 4 int clock_settime(clockid_t clk, const struct timespec *ts) argument 6 return syscall(SYS_clock_settime, clk, ts);
|
H A D | clock_nanosleep.c | 6 int clock_nanosleep(clockid_t clk, int flags, const struct timespec *req, struct timespec *rem) argument 8 int r = -__syscall_cp(SYS_clock_nanosleep, clk, flags, req, rem); 9 return clk == CLOCK_THREAD_CPUTIME_ID ? EINVAL : r;
|
H A D | clock_getcpuclockid.c | 6 int clock_getcpuclockid(pid_t pid, clockid_t *clk) argument 12 *clk = id;
|
H A D | clock_gettime.c | 14 static int cgt_init(clockid_t clk, struct timespec *ts) argument 20 return f ? f(clk, ts) : -ENOSYS; 27 int __clock_gettime(clockid_t clk, struct timespec *ts) argument 35 r = f(clk, ts); 46 r = __syscall(SYS_clock_gettime, clk, ts); 48 if (clk == CLOCK_REALTIME) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | clock.c | 195 _arm_get_freq(clk_t* clk) argument 201 fin = clk_get_freq(clk->parent); 207 _arm_set_freq(clk_t* clk, freq_t hz) argument 213 fin = clk_get_freq(clk->parent); 226 return clk_get_freq(clk); 230 _arm_recal(clk_t* clk UNUSED) 236 _arm_init(clk_t* clk) argument 238 if (clk->priv == NULL) { 240 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MASTER); 241 clk_register_child(parent, clk); 252 _enet_get_freq(clk_t* clk) argument 275 _enet_set_freq(clk_t* clk, freq_t hz) argument 316 _enet_init(clk_t* clk) argument 330 _pll2_get_freq(clk_t* clk) argument 350 _pll2_set_freq(clk_t* clk, freq_t hz) argument 369 _pll2_init(clk_t* clk) argument 383 _mmdc_ch0_get_freq(clk_t* clk) argument 389 _mmdc_ch0_set_freq(clk_t* clk, freq_t hz) argument 403 _mmdc_ch0_init(clk_t* clk) argument 417 _ahb_get_freq(clk_t* clk) argument 423 _ahb_set_freq(clk_t* clk, freq_t hz) argument 435 _ahb_init(clk_t* clk) argument 449 _ipg_get_freq(clk_t* clk) argument 455 _ipg_set_freq(clk_t* clk, freq_t hz) argument 467 _ipg_init(clk_t* clk) argument 481 _usb_get_freq(clk_t* clk) argument 503 _usb_set_freq(clk_t* clk, freq_t hz UNUSED) argument 516 _usb_init(clk_t* clk) argument 547 _clko_get_freq(clk_t* clk) argument 566 _clko_set_freq(clk_t* clk, freq_t hz) argument 598 _clko_init(clk_t* clk) argument 669 clk_t *clk = clk_get_clock(sys, CLK_MASTER); local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | clock.c | 20 _div_get_freq(clk_t* clk) argument 26 clkid = exynos_clk_get_priv_id(clk); 27 clk_regs = clk_get_clk_regs(clk); 28 fin = clk_get_freq(clk->parent); 34 _div_set_freq(clk_t* clk, freq_t hz) argument 40 clkid = exynos_clk_get_priv_id(clk); 41 clk_regs = clk_get_clk_regs(clk); 42 fin = clk_get_freq(clk->parent); 45 fin = clk_set_freq(clk->parent, hz * (MASK(DIV_VAL_BITS) / 2 + 1)); 49 fin = clk_set_freq(clk 62 _div_recal(clk_t* clk) argument 72 _pll_get_freq(clk_t* clk) argument 85 _pll_set_freq(clk_t* clk, freq_t hz) argument 135 _pll_recal(clk_t* clk) argument 141 _pll_init(clk_t* clk) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynqmp/ |
H A D | clock.c | 27 clk_t *clk = clk_get_clock(sys, CLK_CPU_1X); local 28 clk_print_tree(clk, "");
|
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | clock.h | 64 clk_t *(*init)(clk_t *clk); 121 clk_t *clk; local 124 clk = clock_sys->get_clock(clock_sys, id); 125 return clk; 152 * @param[in] clk The clock to set the frequency of. 153 * @param[in] hz Hz to set the clk to 157 static inline freq_t clk_set_freq(clk_t *clk, freq_t hz) argument 159 assert(clk); 160 assert(clk->set_freq); 161 return clk 171 clk_get_freq(clk_t *clk) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/clock/ |
H A D | exynos_5422_clock.c | 14 uint32_t exynos_pll_get_freq(clk_t* clk, int clkid, uint32_t pll_idx) argument 21 clk_regs = clk_get_clk_regs(clk); 26 return exynos_pll_calc_freq((uint64_t)clk_get_freq(clk->parent), p, m, s);
|
H A D | exynos_common_clock.c | 14 uint32_t exynos_pll_get_freq(clk_t* clk, int clkid, uint32_t pll_idx) argument 23 clk_regs = clk_get_clk_regs(clk); 29 return clk_get_freq(clk->parent); 35 return exynos_pll_calc_freq((uint64_t)clk_get_freq(clk->parent), p, m, s);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | clock.c | 425 _decode_pll(clk_t* clk, volatile uint32_t** ctrl, volatile uint32_t** cfg) argument 427 switch (clk->id) { 448 _pll_get_freq(clk_t* clk) argument 456 status_mask = _decode_pll(clk, &ctrl_reg, &cfg_reg); 462 fin = clk_get_freq(clk->parent); 470 _pll_set_freq(clk_t* clk, freq_t hz) argument 478 fin = clk_get_freq(clk->parent); 482 status_mask = _decode_pll(clk, &ctrl_reg, &cfg_reg); 505 return clk_get_freq(clk); 509 _pll_recal(clk_t* clk UNUSE 515 _pll_init(clk_t* clk) argument 532 _cpu_set_621(clk_t* clk, int v) argument 551 clk_cpu_clk_select_621(clk_t* clk) argument 557 clk_cpu_clk_select_421(clk_t* clk) argument 564 _cpu_get_freq(clk_t* clk) argument 598 _cpu_set_freq(clk_t* clk, freq_t hz) argument 628 _cpu_init(clk_t* clk) argument 649 _ddr_get_freq(clk_t* clk) argument 679 _ddr_set_freq(clk_t* clk, freq_t hz) argument 718 _ddr_init(clk_t* clk) argument 736 _aper_get_freq(clk_t* clk) argument 798 _aper_set_freq(clk_t* clk, freq_t hz) argument 859 _aper_init(clk_t* clk) argument 885 get_pl_clk_regs(clk_t* clk) argument 903 _fpga_get_freq(clk_t* clk) argument 915 _fpga_set_freq(clk_t* clk, freq_t hz) argument 935 _fpga_init(clk_t* clk) argument 1003 clk_t *clk = clk_get_clock(sys, CLK_MASTER); local [all...] |
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/ |
H A D | clock.c | 69 tx2_clk_t *clk = clock_sys->priv; local 71 int bytes_recvd = tx2_bpmp_call(clk->bpmp, MRQ_CLK, &req, sizeof(req), &res, sizeof(res)); 79 static freq_t tx2_car_get_freq(clk_t *clk) argument 81 struct mrq_clk_request req = { .cmd_and_id = (CMD_CLK_GET_RATE << 24) | clk->id }; 83 tx2_clk_t *tx2_clk = clk->clk_sys->priv; 93 static freq_t tx2_car_set_freq(clk_t *clk, freq_t hz) argument 95 struct mrq_clk_request req = { .cmd_and_id = (CMD_CLK_SET_RATE << 24) | clk->id }; 98 tx2_clk_t *tx2_clk = clk->clk_sys->priv; 105 clk->req_freq = hz; 187 tx2_clk_t *clk local 207 tx2_clk_t *clk = NULL; local [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sys_clock.c | 24 clockid_t clk = va_arg(ap, clockid_t); local 28 if (clk_get_time && clk == CLOCK_REALTIME && ts) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | clock.c | 35 clk_t *clk = clk_get_clock(sys, CLK_MASTER); local 36 clk_print_tree(clk, "");
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
H A D | clock.c | 157 _div_init(clk_t* clk) argument 160 switch (clk->id) { 162 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MOUTAPLL); 166 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MUXCORE); 169 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_DIVCORE); 175 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_DIVCORE2); 178 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_ATCLK); 181 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_DIVCOPY); 184 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MUXHPM); 192 clk_register_child(parent, clk); 212 _mux_get_freq(clk_t* clk) argument 218 _mux_set_freq(clk_t* clk, freq_t hz) argument 226 _mux_recal(clk_t* clk) argument 232 _mux_init(clk_t* clk) argument 280 _spi_get_freq(clk_t* clk) argument 286 _spi_set_freq(clk_t* clk, freq_t hz) argument 293 _spi_recal(clk_t* clk) argument 299 _spi_init(clk_t* clk) argument 347 clk_t* clk = ps_clocks[CLK_MASTER]; local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | clock.c | 40 clk_t *clk = clk_get_clock(sys, CLK_MASTER); local 41 clk_print_tree(clk, "");
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | clock.c | 42 clk_t *clk = clk_get_clock(sys, CLK_MASTER); local 43 clk_print_tree(clk, "");
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
H A D | clock.c | 135 _spi_get_freq(clk_t* clk) argument 140 clkid = exynos_clk_get_priv_id(clk); 141 switch (clk->id) { 162 fin = clk_get_freq(clk->parent); 167 _spi_set_freq(clk_t* clk, freq_t hz) argument 172 clkid = exynos_clk_get_priv_id(clk); 173 switch (clk->id) { 192 fin = clk_get_freq(clk->parent); 197 return clk_get_freq(clk); 201 _spi_recal(clk_t* clk) argument 207 _spi_init(clk_t* clk) argument 231 _peric_clk_get_freq(clk_t* clk) argument 245 _peric_clk_set_freq(clk_t* clk, freq_t hz) argument 260 _peric_clk_recal(clk_t* clk) argument 266 _peric_clk_init(clk_t* clk) argument 361 clk_t* clk = ps_clocks[CLK_MASTER]; local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 143 static freq_t _ttc_clk_get_freq(clk_t *clk); 144 static freq_t _ttc_clk_set_freq(clk_t *clk, freq_t hz); 145 static void _ttc_clk_recal(clk_t *clk); 146 static clk_t *_ttc_clk_init(clk_t *clk); 242 static ttc_t *ttc_clk_get_priv(clk_t *clk) argument 244 return (ttc_t *)clk->priv; 248 static freq_t _ttc_clk_get_freq(clk_t *clk) argument 250 ttc_t *ttc = ttc_clk_get_priv(clk); 255 if (clk->parent) { 256 fin = clk_get_freq(clk 271 _ttc_clk_set_freq(clk_t *clk, freq_t hz) argument 305 _ttc_clk_init(clk_t *clk) argument [all...] |
/seL4-camkes-master/projects/global-components/components/ClockServer/libClockServer-client/ |
H A D | clockserver_client.c | 33 static freq_t clockserver_get_freq_wrapper(clk_t *clk) argument 35 clock_sys_t *clock_sys = clk->clk_sys; 38 return clockserver_data->clockserver_get_freq(clk->id); 41 static freq_t clockserver_set_freq_wrapper(clk_t *clk, freq_t hz) argument 43 clock_sys_t *clock_sys = clk->clk_sys; 46 freq_t set_freq = clockserver_data->clockserver_set_freq(clk->id, hz); 49 clk->req_freq = hz;
|