| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | delay.c | 78 ps_cpufreq_hint(unsigned long hz) argument
|
| H A D | clock.c | 94 int clock_sys_set_default_freq(enum clk_id id, freq_t hz) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/x86/ |
| H A D | delay.c | 44 ps_cpufreq_hint(unsigned long hz) argument
|
| /seL4-camkes-master/projects/musllibc/src/math/ |
| H A D | __cos.c | 63 double_t hz,z,r,w; local
|
| H A D | __cosl.c | 88 long double hz,z,r,w; local
|
| /seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
| H A D | frequency.h | 24 static inline uint64_t freq_cycles_and_hz_to_ns(uint64_t ncycles, freq_t hz) argument
42 static inline uint64_t freq_ns_and_hz_to_cycles(uint64_t ns, freq_t hz) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | clock.c | 34 _div_set_freq(clk_t* clk, freq_t hz) argument
85 _pll_set_freq(clk_t* clk, freq_t hz) argument
|
| /seL4-camkes-master/projects/global-components/components/ClockServer/libClockServer-client/ |
| H A D | clockserver_client.c | 41 static freq_t clockserver_set_freq_wrapper(clk_t *clk, freq_t hz) argument
89 clockserver_interface_init(ps_io_ops_t *io_ops, int (*clockserver_init_clock)(clk_id_t id), int (*clockserver_set_gate_mode)(clock_gate_t gate, clock_gate_mode_t mode), freq_t (*clockserver_get_freq)(clk_id_t clk_id), freq_t (*clockserver_set_freq)(clk_id_t clk_id, freq_t hz), int (*clockserver_register_child)(clk_id_t parent, clk_id_t child), clock_sys_t *clock_sys) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | clock.h | 157 static inline freq_t clk_set_freq(clk_t *clk, freq_t hz) argument
|
| /seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/ |
| H A D | clock.c | 93 static freq_t tx2_car_set_freq(clk_t *clk, freq_t hz) argument
|
| /seL4-camkes-master/projects/global-components/components/ClockServer/src/ |
| H A D | clock_server.c | 136 freq_t the_clock_set_freq(clk_id_t clk_id, freq_t hz) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
| H A D | clock.c | 167 _spi_set_freq(clk_t* clk, freq_t hz) argument
245 _peric_clk_set_freq(clk_t* clk, freq_t hz) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | i2c.c | 156 _i2c_clk_set_freq(clk_t* clk, freq_t hz) argument
|
| H A D | clock.c | 207 _arm_set_freq(clk_t* clk, freq_t hz) argument
275 _enet_set_freq(clk_t* clk, freq_t hz) argument
350 _pll2_set_freq(clk_t* clk, freq_t hz) argument
389 _mmdc_ch0_set_freq(clk_t* clk, freq_t hz) argument
423 _ahb_set_freq(clk_t* clk, freq_t hz) argument
455 _ipg_set_freq(clk_t* clk, freq_t hz) argument
566 _clko_set_freq(clk_t* clk, freq_t hz) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 271 static freq_t _ttc_clk_set_freq(clk_t *clk, freq_t hz) argument
315 static inline freq_t _ttc_set_freq(ttc_t *ttc, freq_t hz) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
| H A D | clock.c | 218 _mux_set_freq(clk_t* clk, freq_t hz) argument
286 _spi_set_freq(clk_t* clk, freq_t hz) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
| H A D | clock.c | 344 zynq7000_clk_calc_divs(freq_t hz, freq_t parent_hz, uint8_t* rdiv0, argument
470 _pll_set_freq(clk_t* clk, freq_t hz) argument
598 _cpu_set_freq(clk_t* clk, freq_t hz) argument
679 _ddr_set_freq(clk_t* clk, freq_t hz) argument
798 _aper_set_freq(clk_t* clk, freq_t hz) argument
915 _fpga_set_freq(clk_t* clk, freq_t hz) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | enet.c | 277 static freq_t _mdc_clk_set_freq(clk_t *clk, freq_t hz) argument
|