| /seL4-refos-master/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
85 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS;
|
| /seL4-refos-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
82 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000llu);
|
| /seL4-refos-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
85 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS;
|
| /seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
| H A D | gpt.c | 223 static uint64_t gpt_ns_to_ticks(uint64_t ns) argument
225 return ns / NS_IN_US * CLK_MHZ;
258 int rel_gpt_set_timeout(gpt_t *gpt, uint64_t ns, bool periodic) argument
261 uint64_t ticks = gpt_ns_to_ticks(ns) / BIT(gpt->prescaler + 1);
|
| /seL4-refos-master/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
90 uint64_t ticks = (ns * CLK_FREQ) / 1000;
172 int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic) argument
174 configure_timeout(pwm, ns, 4, periodic);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ |
| H A D | gpt.c | 223 static uint64_t gpt_ns_to_ticks(uint64_t ns) argument
225 return ns / NS_IN_US * CLK_MHZ;
258 int rel_gpt_set_timeout(gpt_t *gpt, uint64_t ns, bool periodic) argument
261 uint64_t ticks = gpt_ns_to_ticks(ns) / BIT(gpt->prescaler + 1);
|
| /seL4-refos-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
90 uint64_t ticks = (ns * CLK_FREQ) / 1000;
172 int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic) argument
174 configure_timeout(pwm, ns, 4, periodic);
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | ltimer.h | 109 int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type),
106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | ltimer.h | 109 int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type),
106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument
|
| /seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/ |
| H A D | epit.c | 142 int epit_set_timeout(epit_t *epit, uint64_t ns, bool periodic) argument
151 uint64_t counterValue = (uint64_t)(IPG_FREQ / (epit->prescaler + 1)) * (ns / 1000ULL);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
| H A D | epit.c | 142 int epit_set_timeout(epit_t *epit, uint64_t ns, bool periodic) argument
151 uint64_t counterValue = (uint64_t)(IPG_FREQ / (epit->prescaler + 1)) * (ns / 1000ULL);
|
| /seL4-refos-master/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
93 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS;
|
| /seL4-refos-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
93 uint64_t ticks64 = ns * TICKS_PER_MS / NS_IN_MS;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
| H A D | timer.c | 86 int rk_set_timeout(rk_t *rk, uint64_t ns, bool periodic) argument
98 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000ull);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | timer.c | 86 int rk_set_timeout(rk_t *rk, uint64_t ns, bool periodic) argument
98 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000ull);
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | ltimer.h | 114 * @param ns ns value (depends on timer type)
118 int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | ltimer.h | 114 * @param ns ns value (depends on timer type)
118 int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type);
|