/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | meson_timer.c | 49 void meson_set_timeout(meson_timer_t *timer, uint16_t timeout, bool periodic) argument 51 if (periodic) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | epit.h | 71 int epit_set_timeout(epit_t *epit, uint64_t ns, bool periodic); 73 int epit_set_timeout_ticks(epit_t *epit, uint64_t ticks, bool periodic);
|
H A D | gpt.h | 85 int gpt_set_timeout(gpt_t *gpt, uint64_t ns, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
H A D | timer.h | 33 static inline int imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument 35 return gpt_set_timeout(&timers->timeout, ns, periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | timer.h | 68 static inline int imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument 70 return epit_set_timeout(&timers->timeout, ns, periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
H A D | timer.h | 39 static inline int imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument 41 return gpt_set_timeout(&timers->timeout, ns, periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 72 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs); 74 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic, bool irqs);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 77 int sp804_set_timeout_ticks(sp804_t *timer, uint32_t ticks, bool periodic, bool irqs); 79 int sp804_set_timeout(sp804_t *timer, uint64_t ns, bool periodic, bool irqs);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | pit.h | 65 int pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 83 int sp804_set_timeout(sp804_t *sp804, uint64_t ns, bool periodic, bool irqs) argument 89 return sp804_set_timeout_ticks(sp804, ticks64, periodic, irqs); 92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) argument 97 int flags = periodic ? TCLR_AUTORELOAD : TCLR_ONESHOT;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | pit.c | 124 int pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic) argument 126 uint32_t mode = periodic ? PITCR_MODE_PERIODIC : PITCR_MODE_ONESHOT;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
H A D | timer.h | 107 static inline int imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument 109 return epit_set_timeout(&timers->timeout, ns, periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | pwm.c | 56 int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic) argument 91 if (periodic) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/odroidc2/platsupport/plat/ |
H A D | meson_timer.h | 99 void meson_set_timeout(meson_timer_t *timer, uint16_t timeout, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/ |
H A D | timer.h | 70 int nv_tmr_set_timeout(nv_tmr_t *tmr, bool periodic, uint64_t ns);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 111 int epit_set_timeout_ticks(epit_t *epit, uint64_t counterValue, bool periodic) argument 123 uint32_t reload_val = periodic ? BIT(RLD) : 0; 142 int epit_set_timeout(epit_t *epit, uint64_t ns, bool periodic) argument 153 return epit_set_timeout_ticks(epit, counterValue, periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 98 int ttc_set_timeout(ttc_t *ttc, uint64_t ns, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/ |
H A D | gpt.h | 98 * Functions to get a GPT timer that can do periodic or oneshot 102 int rel_gpt_set_timeout(gpt_t *gpt, uint64_t ns, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | pwm.h | 74 int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
H A D | timer.h | 81 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 91 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic, bool irqs) argument 97 return dmt_set_timeout_ticks(dmt, ticks64, periodic, irqs); 100 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs) argument 107 int flags = periodic ? TCLR_AUTORELOAD : TCLR_ONESHOT; 124 * "TIMERN_BGLOAD is an initial count value register in periodic mode. 126 * In periodic mode, when the value of TIMERN_BGLOAD is updated, the 133 * In other words, for periodic mode, load BGLOAD first, then write to
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hifive/platsupport/plat/ |
H A D | pwm.h | 89 int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ |
H A D | timer.h | 70 int rk_set_timeout(rk_t *rk, uint64_t ns, bool periodic);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 72 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic) argument 80 uint32_t tclrFlags = periodic ? TCLR_AUTORELOAD : 0;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 60 static void configure_timeout(pwm_t *pwm, uint64_t ns, int timer_number, bool periodic) argument 126 if (periodic) { 172 int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic) argument 174 configure_timeout(pwm, ns, 4, periodic);
|