/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 136 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 144 return system_timer_set_timeout(&spt_ltimer->system, ns); 146 spt_ltimer->period = ns; 149 return spt_set_timeout(&spt_ltimer->spt, ns);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 136 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 144 return system_timer_set_timeout(&spt_ltimer->system, ns); 146 spt_ltimer->period = ns; 149 return spt_set_timeout(&spt_ltimer->spt, ns);
|
/seL4-refos-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-refos-master/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-refos-master/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); 74 /* convert epit ticks to ns */
|
/seL4-refos-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); 74 /* convert epit ticks to ns */
|
/seL4-refos-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); 103 /* convert from a ticks value to ns for a configured ttc */
|
/seL4-refos-master/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); 103 /* convert from a ticks value to ns for a configured ttc */
|
/seL4-refos-master/libs/libplatsupport/mach_include/omap/platsupport/mach/ |
H A D | gpt.h | 102 int rel_gpt_set_timeout(gpt_t *gpt, uint64_t ns, bool periodic); 108 /* get the max value ns this gpt can be programmed with */
|
/seL4-refos-master/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-refos-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/ |
H A D | gpt.h | 102 int rel_gpt_set_timeout(gpt_t *gpt, uint64_t ns, bool periodic); 108 /* get the max value ns this gpt can be programmed with */
|
/seL4-refos-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-refos-master/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-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 68 /* convert between dmt ticks and ns */ 74 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic, bool irqs);
|
/seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 73 /* convert between dmt ticks and ns */ 79 int sp804_set_timeout(sp804_t *timer, uint64_t ns, bool periodic, bool irqs);
|
/seL4-refos-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-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 68 /* convert between dmt ticks and ns */ 74 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic, bool irqs);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 73 /* convert between dmt ticks and ns */ 79 int sp804_set_timeout(sp804_t *timer, uint64_t ns, bool periodic, bool irqs);
|
/seL4-refos-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-refos-master/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-refos-master/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-refos-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-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 352 static inline int _ttc_set_freq_for_ns(ttc_t *ttc, uint64_t ns, uint64_t *interval) argument 360 f = freq_cycles_and_ns_to_hz(CNT_MAX, ns); 368 freq_cycles_and_hz_to_ns(CNT_MAX, fin), ns); 373 interval_value = freq_ns_and_hz_to_cycles(ns, fin); 405 /* Set up the ttc to fire an interrupt every ns nanoseconds. 406 * The first such interrupt may arrive before ns nanoseconds 482 /* Set up the ttc to fire an interrupt ns nanoseconds after this 512 int ttc_set_timeout(ttc_t *ttc, uint64_t ns, bool periodic) argument 520 int error = _ttc_set_freq_for_ns(ttc, ns, &interval);
|
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 352 static inline int _ttc_set_freq_for_ns(ttc_t *ttc, uint64_t ns, uint64_t *interval) argument 360 f = freq_cycles_and_ns_to_hz(CNT_MAX, ns); 368 freq_cycles_and_hz_to_ns(CNT_MAX, fin), ns); 373 interval_value = freq_ns_and_hz_to_cycles(ns, fin); 405 /* Set up the ttc to fire an interrupt every ns nanoseconds. 406 * The first such interrupt may arrive before ns nanoseconds 482 /* Set up the ttc to fire an interrupt ns nanoseconds after this 512 int ttc_set_timeout(ttc_t *ttc, uint64_t ns, bool periodic) argument 520 int error = _ttc_set_freq_for_ns(ttc, ns, &interval);
|
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 72 int dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic) argument 82 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000llu);
|