| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | generic_timer.c | 23 uint64_t generic_timer_get_time(generic_timer_t *timer) argument
28 int generic_timer_get_init(generic_timer_t *timer) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
| H A D | timer.c | 229 gpt_timer_start(timer_t *timer) argument
237 gpt_timer_stop(timer_t *timer) argument
245 gpt_get_time(timer_t *timer) argument
252 gpt_periodic(timer_t *timer, uint64_t ns) argument
322 gpt_handle_irq(UNUSED timer_t *timer) argument
329 dgt_timer_start(timer_t *timer) argument
337 dgt_timer_stop(timer_t *timer) argument
345 dgt_get_time(timer_t *timer) argument
352 dgt_periodic(timer_t *timer, uint64_t ns) argument
370 dgt_handle_irq(UNUSED timer_t *timer) argument
377 tmr_timer_start(timer_t *timer) argument
385 tmr_timer_stop(timer_t *timer) argument
393 tmr_get_time(timer_t *timer) argument
400 tmr_periodic(timer_t *timer, uint64_t ns) argument
432 tmr_handle_irq(timer_t *timer) argument
441 wdt_timer_start(timer_t *timer) argument
453 wdt_get_time(timer_t *timer) argument
460 wdt_periodic(timer_t *timer, uint64_t ns) argument
478 timer_init(timer_t *timer, timer_config_t config) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
| H A D | system_timer.c | 27 int system_timer_init(system_timer_t *timer, system_timer_config_t config) { argument
37 uint64_t system_timer_get_time(system_timer_t *timer) { argument
56 system_timer_set_timeout(system_timer_t *timer, uint64_t ns) argument
89 system_timer_handle_irq(system_timer_t *timer) argument
99 system_timer_reset(system_timer_t *timer) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/ |
| H A D | meson_timer.c | 19 int meson_init(meson_timer_t *timer, meson_timer_config_t config) argument
35 uint64_t meson_get_time(meson_timer_t *timer) argument
49 meson_set_timeout(meson_timer_t *timer, uint16_t timeout, bool periodic) argument
65 meson_stop_timer(meson_timer_t *timer) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | generic_timer.c | 23 uint64_t generic_timer_get_time(generic_timer_t *timer) argument
28 int generic_timer_get_init(generic_timer_t *timer) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | timer.c | 229 gpt_timer_start(timer_t *timer) argument
237 gpt_timer_stop(timer_t *timer) argument
245 gpt_get_time(timer_t *timer) argument
252 gpt_periodic(timer_t *timer, uint64_t ns) argument
322 gpt_handle_irq(UNUSED timer_t *timer) argument
329 dgt_timer_start(timer_t *timer) argument
337 dgt_timer_stop(timer_t *timer) argument
345 dgt_get_time(timer_t *timer) argument
352 dgt_periodic(timer_t *timer, uint64_t ns) argument
370 dgt_handle_irq(UNUSED timer_t *timer) argument
377 tmr_timer_start(timer_t *timer) argument
385 tmr_timer_stop(timer_t *timer) argument
393 tmr_get_time(timer_t *timer) argument
400 tmr_periodic(timer_t *timer, uint64_t ns) argument
432 tmr_handle_irq(timer_t *timer) argument
441 wdt_timer_start(timer_t *timer) argument
453 wdt_get_time(timer_t *timer) argument
460 wdt_periodic(timer_t *timer, uint64_t ns) argument
478 timer_init(timer_t *timer, timer_config_t config) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | system_timer.c | 27 int system_timer_init(system_timer_t *timer, system_timer_config_t config) { argument
37 uint64_t system_timer_get_time(system_timer_t *timer) { argument
56 system_timer_set_timeout(system_timer_t *timer, uint64_t ns) argument
89 system_timer_handle_irq(system_timer_t *timer) argument
99 system_timer_reset(system_timer_t *timer) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | meson_timer.c | 19 int meson_init(meson_timer_t *timer, meson_timer_config_t config) argument
35 uint64_t meson_get_time(meson_timer_t *timer) argument
49 meson_set_timeout(meson_timer_t *timer, uint16_t timeout, bool periodic) argument
65 meson_stop_timer(meson_timer_t *timer) argument
[all...] |
| /seL4-refos-master/kernel/include/drivers/timer/ |
| H A D | allwinner.h | 11 struct timer { struct
|
| H A D | am335x.h | 14 struct timer { struct
[all...] |
| H A D | arm_global.h | 22 struct timer { struct
|
| H A D | arm_priv.h | 12 struct timer { struct
|
| H A D | imx31-epit.h | 10 struct timer { struct
|
| H A D | imx31-gpt.h | 20 struct timer { struct
|
| H A D | omap3430.h | 14 struct timer { struct
[all...] |
| /seL4-refos-master/kernel/src/drivers/timer/ |
| H A D | allwinner-timer.c | 22 timer_t *timer = (timer_t *) TIMER0_PPTR; variable
|
| H A D | am335x-timer.c | 29 timer_t *timer = (timer_t *) TIMER_PPTR; variable
[all...] |
| H A D | kpss-timer.c | 13 struct timer { struct
|
| H A D | omap3430-timer.c | 25 timer_t *timer = (timer_t *) TIMER_PPTR; variable
[all...] |
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | ltimer.h | 138 ltimer_get_resolution(ltimer_t *timer, uint64_t *resolution) argument
158 ltimer_set_timeout(ltimer_t *timer, uint64_t nanoseconds, timeout_type_t type) argument
183 ltimer_get_num_irqs(ltimer_t *timer) argument
193 ltimer_get_nth_irq(ltimer_t *timer, size_t n, ps_irq_t *irq) argument
214 ltimer_get_num_pmems(ltimer_t *timer) argument
224 ltimer_get_nth_pmem(ltimer_t *timer, size_t n, pmem_region_t *pmem) argument
245 ltimer_get_time(ltimer_t *timer, uint64_t *time) argument
265 ltimer_reset(ltimer_t *timer) argument
280 ltimer_destroy(ltimer_t *timer) argument
291 ltimer_ns_delay(ltimer_t *timer, uint64_t nanoseconds) argument
306 ltimer_s_delay(ltimer_t *timer, uint64_t seconds) argument
310 ltimer_ms_delay(ltimer_t *timer, uint64_t milliseconds) argument
314 ltimer_us_delay(ltimer_t *timer, uint64_t microseconds) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | hpet.c | 122 hpet_get_hpet_timer(void *vaddr, unsigned int timer) argument
130 hpet_timer_t *timer = hpet_get_hpet_timer(hpet->base_addr, 0); local
148 hpet_timer_t *timer = hpet_get_hpet_timer(hpet->base_addr, 0); local
176 hpet_timer_t *timer = hpet_get_hpet_timer(hpet->base_addr, 0); local
[all...] |
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | timer.c | 36 void sel4platsupport_destroy_timer(seL4_timer_t *timer, vka_t *vka) argument
50 void sel4platsupport_handle_timer_irq(seL4_timer_t *timer, seL4_Wor argument
122 init_timer_internal(vka_t *vka, simple_t *simple, seL4_CPtr ntfn, seL4_timer_t *timer, size_t nirqs) argument
147 sel4platsupport_init_default_timer_ops(vka_t *vka, UNUSED vspace_t *vspace, simple_t *simple, ps_io_ops_t ops, seL4_CPtr ntfn, seL4_timer_t *timer) argument
174 sel4platsupport_init_default_timer(vka_t *vka, vspace_t *vspace, simple_t *simple, seL4_CPtr ntfn, seL4_timer_t *timer) argument
191 sel4platsupport_init_timer_irqs(vka_t *vka, simple_t *simple, seL4_CPtr ntfn, seL4_timer_t *timer, timer_objects_t *to) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | timer.c | 36 void sel4platsupport_destroy_timer(seL4_timer_t *timer, vka_t *vka) argument
50 void sel4platsupport_handle_timer_irq(seL4_timer_t *timer, seL4_Wor argument
122 init_timer_internal(vka_t *vka, simple_t *simple, seL4_CPtr ntfn, seL4_timer_t *timer, size_t nirqs) argument
147 sel4platsupport_init_default_timer_ops(vka_t *vka, UNUSED vspace_t *vspace, simple_t *simple, ps_io_ops_t ops, seL4_CPtr ntfn, seL4_timer_t *timer) argument
174 sel4platsupport_init_default_timer(vka_t *vka, vspace_t *vspace, simple_t *simple, seL4_CPtr ntfn, seL4_timer_t *timer) argument
191 sel4platsupport_init_timer_irqs(vka_t *vka, simple_t *simple, seL4_CPtr ntfn, seL4_timer_t *timer, timer_objects_t *to) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | ltimer.h | 138 ltimer_get_resolution(ltimer_t *timer, uint64_t *resolution) argument
158 ltimer_set_timeout(ltimer_t *timer, uint64_t nanoseconds, timeout_type_t type) argument
183 ltimer_get_num_irqs(ltimer_t *timer) argument
193 ltimer_get_nth_irq(ltimer_t *timer, size_t n, ps_irq_t *irq) argument
214 ltimer_get_num_pmems(ltimer_t *timer) argument
224 ltimer_get_nth_pmem(ltimer_t *timer, size_t n, pmem_region_t *pmem) argument
245 ltimer_get_time(ltimer_t *timer, uint64_t *time) argument
265 ltimer_reset(ltimer_t *timer) argument
280 ltimer_destroy(ltimer_t *timer) argument
291 ltimer_ns_delay(ltimer_t *timer, uint64_t nanoseconds) argument
306 ltimer_s_delay(ltimer_t *timer, uint64_t seconds) argument
310 ltimer_ms_delay(ltimer_t *timer, uint64_t milliseconds) argument
314 ltimer_us_delay(ltimer_t *timer, uint64_t microseconds) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | hpet.c | 122 hpet_get_hpet_timer(void *vaddr, unsigned int timer) argument
130 hpet_timer_t *timer = hpet_get_hpet_timer(hpet->base_addr, 0); local
148 hpet_timer_t *timer = hpet_get_hpet_timer(hpet->base_addr, 0); local
176 hpet_timer_t *timer = hpet_get_hpet_timer(hpet->base_addr, 0); local
[all...] |