| /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);
|
| H A D | ltimer.c | 42 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
51 ns -= current_time;
54 return rk_set_timeout(&rk_ltimer->rk_timeout, ns, type == TIMEOUT_PERIODIC);
|
| /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);
|
| H A D | ltimer.c | 42 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
51 ns -= current_time;
54 return rk_set_timeout(&rk_ltimer->rk_timeout, ns, type == TIMEOUT_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/libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 113 uint64_t ns = MIN(pc99_ltimer->pit.abs_time - time, PIT_MAX_NS); local
114 if (ns < PIT_MIN_NS) {
117 return pit_set_timeout(&pc99_ltimer->pit.device, ns, false);
188 static int hpet_ltimer_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
194 pc99_ltimer->hpet.period = ns;
200 ns += hpet_get_time(&pc99_ltimer->hpet.device);
203 return hpet_set_timeout(&pc99_ltimer->hpet.device, ns);
206 static int pit_ltimer_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
217 if (ns > PIT_MAX_NS) {
218 pc99_ltimer->pit.abs_time = ns
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 113 uint64_t ns = MIN(pc99_ltimer->pit.abs_time - time, PIT_MAX_NS); local
114 if (ns < PIT_MIN_NS) {
117 return pit_set_timeout(&pc99_ltimer->pit.device, ns, false);
188 static int hpet_ltimer_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
194 pc99_ltimer->hpet.period = ns;
200 ns += hpet_get_time(&pc99_ltimer->hpet.device);
203 return hpet_set_timeout(&pc99_ltimer->hpet.device, ns);
206 static int pit_ltimer_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
217 if (ns > PIT_MAX_NS) {
218 pc99_ltimer->pit.abs_time = ns
[all...] |
| /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/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | ltimer.c | 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
53 if (time > ns) {
56 ns -= time;
60 return dmt_set_timeout(&hikey_ltimer->dmt_timeout, ns, type == TIMEOUT_PERIODIC, true);
|
| 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/hikey/ |
| H A D | ltimer.c | 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
53 if (time > ns) {
56 ns -= time;
60 return dmt_set_timeout(&hikey_ltimer->dmt_timeout, ns, type == TIMEOUT_PERIODIC, true);
|
| 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/hifive/ |
| H A D | pwm.c | 56 int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic) argument
64 size_t num_ticks = ns / (NS_IN_S / PWM_INPUT_FREQ);
66 ZF_LOGE("Cannot program a timeout larget than %ld ns", MAX_TIMEOUT_NS);
|
| H A D | ltimer.c | 135 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
143 if (time >= ns) {
146 return pwm_set_timeout(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, ns - time, false);
149 return pwm_set_timeout(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, ns, false);
151 return pwm_set_timeout(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, ns, true);
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
| H A D | pwm.c | 56 int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic) argument
64 size_t num_ticks = ns / (NS_IN_S / PWM_INPUT_FREQ);
66 ZF_LOGE("Cannot program a timeout larget than %ld ns", MAX_TIMEOUT_NS);
|
| H A D | ltimer.c | 135 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
143 if (time >= ns) {
146 return pwm_set_timeout(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, ns - time, false);
149 return pwm_set_timeout(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, ns, false);
151 return pwm_set_timeout(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, ns, true);
|
| /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/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;
|
| H A D | ltimer.c | 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
53 if (time > ns) {
56 ns -= time;
60 return sp804_set_timeout(&fvp_ltimer->sp804_timeout, ns, type == TIMEOUT_PERIODIC, true);
|
| /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;
|
| H A D | ltimer.c | 45 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
53 if (time > ns) {
56 ns -= time;
60 return sp804_set_timeout(&fvp_ltimer->sp804_timeout, ns, type == TIMEOUT_PERIODIC, true);
|
| /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);
|