| /seL4-camkes-master/projects/global-components/components/TimeServer/src/plat/pc99/ |
| H A D | plat.c | 53 void plat_post_init(ltimer_t *ltimer) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
| H A D | timer.h | 43 ltimer_t ltimer; member in struct:seL4_timer
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/time_server/ |
| H A D | client.c | 27 client_ltimer_t *ltimer = data; local
37 client_ltimer_t *ltimer = data; local
46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | ltimer.c | 81 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
154 int ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | ltimer.c | 85 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
157 int ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/ |
| H A D | helpers.h | 38 ltimer_t ltimer; member in struct:env
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | ltimer.c | 91 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
125 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
| H A D | ltimer.c | 93 static int create_ltimer(ltimer_t *ltimer, ps_io_ops_t ops) argument
111 ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
147 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/ |
| H A D | ltimer.c | 93 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
160 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | ltimer.c | 83 static int create_ltimer(ltimer_t *ltimer, ps_io_ops_t ops) argument
106 ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
131 ltimer_default_describe(ltimer_t UNUSED *ltimer, ps_io_ops_t UNUSED ops) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | ltimer.c | 86 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
146 int ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | ltimer.c | 81 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
142 int ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
| H A D | local_time_manager.c | 25 ltimer_t *ltimer; member in struct:time_man_state
167 int tm_init(time_manager_t *tm, ltimer_t *ltimer, ps_io_ops_ argument
[all...] |
| H A D | ltimer.h | 21 ltimer_t *ltimer; member in struct:__anon75
39 ltimer_t *ltimer = callback_data->ltimer; local
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
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | ltimer.c | 178 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
233 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...] |
| /seL4-camkes-master/projects/global-components/components/TimeServer/src/ |
| H A D | time_server.c | 35 static ltimer_t ltimer; variable
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | ltimer.c | 108 static int create_ltimer(ltimer_t *ltimer, ps_io_ops_t ops) argument
125 ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
189 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | generic_ltimer.c | 67 generic_ltimer_t *ltimer = data; local
75 generic_ltimer_t *ltimer = data; local
108 generic_ltimer_t *ltimer = data; local
150 ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_data) argument
212 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | timer.c | 90 static int get_nth_pmem(vka_t *vka, ltimer_t *ltimer, sel4ps_pmem_t *obj, int n) argument
111 static inline size_t get_nirqs(ltimer_t *ltimer) argument
217 ltimer_t ltimer; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | ltimer.h | 53 typedef struct ltimer { struct
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | ltimer.c | 186 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
260 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 185 static int create_ltimer(ltimer_t *ltimer, ps_io_ops_t ops) argument
203 init_ltimer(ltimer_t *ltimer) argument
224 ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
275 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/ |
| H A D | custom_simple.h | 54 ltimer_t ltimer; member in struct:timer_config::__anon37::__anon39
55 } ltimer; member in union:timer_config::__anon37
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 290 ltimer_init_common(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
308 static int ltimer_hpet_init_internal(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, argument
364 ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
380 ltimer_hpet_init(ltimer_t *ltimer, ps_io_ops_t ops, ps_irq_t irq, pmem_region_t region, ltimer_callback_fn_t callback, void *callback_token) argument
391 ltimer_pit_init_freq(ltimer_t *ltimer, ps_io_ops_t ops, uint64_t freq, ltimer_callback_fn_t callback, void *callback_token) argument
415 ltimer_pit_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
432 ltimer_pit_get_tsc_freq(ltimer_t *ltimer) argument
438 _ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops, acpi_t *acpi) argument
457 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
463 ltimer_default_describe_with_rsdp(ltimer_t *ltimer, ps_io_ops_t ops, acpi_rsdp_t rsdp) argument
469 ltimer_hpet_describe_with_region(ltimer_t *ltimer, ps_io_ops_t ops, pmem_region_t region, ps_irq_t *irq) argument
501 ltimer_pit_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
526 ltimer_hpet_describe(ltimer_t *ltimer, ps_io_ops_t ops, ps_irq_t irq, pmem_region_t region) argument
[all...] |