Searched defs:dmt (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c46 static void dmt_timer_reset(dmt_t *dmt) argument
55 int dmt_stop(dmt_t *dmt) argument
66 dmt_start(dmt_t *dmt) argument
82 dmt_is_irq_pending(dmt_t *dmt) argument
91 dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic, bool irqs) argument
100 dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs) argument
153 dmt_t *dmt = data; local
170 dmt_get_ticks(dmt_t *dmt) argument
177 dmt_get_time(dmt_t *dmt) argument
198 dmt_destroy(dmt_t *dmt) argument
214 dmt_init(dmt_t *dmt, ps_io_ops_t ops, dmt_config_t config) argument
247 dmt_init_secondary(dmt_t *dmt, dmt_t *dmtp, ps_io_ops_t ops, dmt_config_t config) argument
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/
H A Dtimer.c41 static void dmt_reset(dmt_t *dmt) argument
53 int dmt_stop(dmt_t *dmt) argument
63 dmt_start(dmt_t *dmt) argument
72 dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic) argument
105 dmt_start_ticking_timer(dmt_t *dmt) argument
137 dmt_t *dmt = data; local
153 dmt_pending_overflow(dmt_t *dmt) argument
158 dmt_get_time(dmt_t *dmt) argument
178 dmt_destroy(dmt_t *dmt) argument
191 dmt_init(dmt_t *dmt, ps_io_ops_t ops, dmt_config_t config) argument
[all...]
/seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h61 typedef struct dmt { struct
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/
H A Dtimer.h61 typedef struct dmt { struct
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c46 static void dmt_timer_reset(dmt_t *dmt) argument
55 int dmt_stop(dmt_t *dmt) argument
66 dmt_start(dmt_t *dmt) argument
82 dmt_is_irq_pending(dmt_t *dmt) argument
91 dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic, bool irqs) argument
100 dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs) argument
153 dmt_t *dmt = data; local
170 dmt_get_ticks(dmt_t *dmt) argument
177 dmt_get_time(dmt_t *dmt) argument
198 dmt_destroy(dmt_t *dmt) argument
214 dmt_init(dmt_t *dmt, ps_io_ops_t ops, dmt_config_t config) argument
247 dmt_init_secondary(dmt_t *dmt, dmt_t *dmtp, ps_io_ops_t ops, dmt_config_t config) argument
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dtimer.c41 static void dmt_reset(dmt_t *dmt) argument
53 int dmt_stop(dmt_t *dmt) argument
63 dmt_start(dmt_t *dmt) argument
72 dmt_set_timeout(dmt_t *dmt, uint64_t ns, bool periodic) argument
105 dmt_start_ticking_timer(dmt_t *dmt) argument
137 dmt_t *dmt = data; local
153 dmt_pending_overflow(dmt_t *dmt) argument
158 dmt_get_time(dmt_t *dmt) argument
178 dmt_destroy(dmt_t *dmt) argument
191 dmt_init(dmt_t *dmt, ps_io_ops_t ops, dmt_config_t config) argument
[all...]

Completed in 23 milliseconds