Searched refs:ltimer (Results 1 - 25 of 44) sorted by relevance

12

/seL4-camkes-master/projects/global-components/components/TimeServer/src/
H A Dplat.h14 #include <platsupport/ltimer.h>
19 void plat_post_init(ltimer_t *ltimer) WEAK;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/time_server/
H A Dclient.c15 #include <platsupport/ltimer.h>
27 client_ltimer_t *ltimer = data; local
28 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 1);
30 seL4_Call(ltimer->ep, info);
37 client_ltimer_t *ltimer = data; local
38 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 2 + SEL4UTILS_64_WORDS);
42 info = seL4_Call(ltimer->ep, info);
46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) argument
48 ltimer->get_time = client_get_time;
49 ltimer
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/time_server/
H A Dclient.h14 #include <platsupport/ltimer.h>
25 * Initialise a client ltimer which calls via rpc to a server for
26 * timer operations. This exists such that it is easy to swap out ltimer
34 * usual for ltimer interfaces.
36 * @param ltimer interface to initialise
42 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops,
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dlocal_time_manager.h16 #include <platsupport/ltimer.h>
19 /* Initialise a local time manager with a specific ltimer. The time manager uses the ltimer to set
23 * when interrupts come in on the ltimer for it to be correct.
29 * @param ltimer valid ltimer. Must remain valid for this time manager to work.
34 int tm_init(time_manager_t *tm, ltimer_t *ltimer, ps_io_ops_t *ops, int size);
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dtimer.h15 #include <platsupport/ltimer.h>
20 /* Using the default function, the pc99 ltimer will try to use the HPET and then fall back to the PIT,
23 * This file provides functinos for specifically picking your ltimer implementation
26 /* Functions for specifically setting up a HPET based ltimer */
28 /* Initialise description functions for a HPET backed ltimer, providing the HPET region but
30 int ltimer_hpet_describe_with_region(ltimer_t *ltimer, ps_io_ops_t ops, pmem_region_t region, ps_irq_t *irq);
31 /* Initialise the description functions for a HPET based ltimer using the provided irq and region */
32 int ltimer_hpet_describe(ltimer_t *ltimer, ps_io_ops_t ops, ps_irq_t irq, pmem_region_t hpet_region);
33 /* Initialise a hpet based ltimer using the provided irq and region */
34 int ltimer_hpet_init(ltimer_t *ltimer, ps_io_ops_
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dltimer.c18 #include <platsupport/ltimer.h>
23 #include "../../ltimer.h"
83 static int create_ltimer(ltimer_t *ltimer, ps_io_ops_t ops) argument
85 assert(ltimer != NULL);
86 ltimer->get_time = get_time;
87 ltimer->get_resolution = get_resolution;
88 ltimer->set_timeout = set_timeout;
89 ltimer->reset = reset;
90 ltimer->destroy = destroy;
91 ltimer
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/
H A Dltimer.h13 #include <platsupport/ltimer.h>
17 /* Per-platform ltimer IRQ handling function type */
21 ltimer_t *ltimer; member in struct:__anon75
27 * This is a simple wrapper around the per-platform ltimer IRQ handling function.
39 ltimer_t *ltimer = callback_data->ltimer; local
43 int UNUSED error = irq_handler(ltimer->data, irq);
107 ltimer_t *ltimer, ps_io_ops_t ops, size_t sz,
114 assert(ltimer != NULL);
116 ltimer
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...]
H A Dlocal_time_manager.c21 #include <platsupport/ltimer.h>
25 ltimer_t *ltimer; member in struct:time_man_state
54 return ltimer_get_time(state->ltimer, time);
76 error = ltimer_set_timeout(state->ltimer, next_time, TIMEOUT_ABSOLUTE);
78 int ret = ltimer_get_time(state->ltimer, &curr_time);
137 error = ltimer_set_timeout(state->ltimer, timeout.abs_time, TIMEOUT_ABSOLUTE);
145 int ret = ltimer_get_time(state->ltimer, &curr_time);
148 error = ltimer_set_timeout(state->ltimer, backup_timeout, TIMEOUT_ABSOLUTE);
160 /* we don't cancel the irq on the ltimer here, as checking if we updated the head
167 int tm_init(time_manager_t *tm, ltimer_t *ltimer, ps_io_ops_ argument
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dltimer.c15 * Currently all imx platforms use some combination of GPT and EPIT timers to provide ltimer functionality. See platform specific timer.h for details.
18 #include <platsupport/ltimer.h>
24 #include "../../ltimer.h"
93 static int create_ltimer(ltimer_t *ltimer, ps_io_ops_t ops) argument
95 assert(ltimer != NULL);
96 ltimer->get_time = get_time;
97 ltimer->get_resolution = get_resolution;
98 ltimer->set_timeout = set_timeout;
99 ltimer->reset = reset;
100 ltimer
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/arch/arm/
H A Dgeneric_ltimer.c20 #include <platsupport/ltimer.h>
24 #include "../../ltimer.h"
67 generic_ltimer_t *ltimer = data; local
69 *time = freq_cycles_and_hz_to_ns(ticks, ltimer->freq);
75 generic_ltimer_t *ltimer = data; local
77 ltimer->period = ns;
79 ltimer->period = 0;
94 generic_timer_set_compare(freq_ns_and_hz_to_cycles(ns, ltimer->freq));
108 generic_ltimer_t *ltimer = data; local
109 if (ltimer
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/util_libs/libplatsupport/src/mach/nvidia/
H A Dltimer.c23 #include <platsupport/ltimer.h>
27 #include "../../ltimer.h"
91 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
93 if (!ltimer) {
97 ltimer->get_time = get_time;
98 ltimer->get_resolution = get_resolution;
99 ltimer->set_timeout = set_timeout;
100 ltimer->reset = reset;
101 ltimer->destroy = destroy;
103 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(nv_tmr_ltimer_t), &ltimer
125 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 Dltimer.c17 #include <platsupport/ltimer.h>
22 #include "../../ltimer.h"
185 static int create_ltimer(ltimer_t *ltimer, ps_io_ops_t ops) argument
187 assert(ltimer != NULL);
188 ltimer->get_time = get_time;
189 ltimer->get_resolution = get_resolution;
190 ltimer->set_timeout = set_timeout;
191 ltimer->reset = reset;
192 ltimer->destroy = destroy;
194 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(hifive_timers_t), &ltimer
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/projects/util_libs/libplatsupport/src/mach/omap/
H A Dltimer.c18 #include <platsupport/ltimer.h>
93 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
97 if (ltimer == NULL) {
101 ltimer->get_time = get_time;
102 ltimer->get_resolution = get_resolution;
103 ltimer->set_timeout = set_timeout;
104 ltimer->reset = reset;
105 ltimer->destroy = destroy;
106 ltimer->get_num_pmems = NULL;
107 ltimer
160 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dltimer.c18 #include <platsupport/ltimer.h>
23 #include "../../ltimer.h"
108 static int create_ltimer(ltimer_t *ltimer, ps_io_ops_t ops) argument
110 ltimer->get_time = get_time;
111 ltimer->get_resolution = get_resolution;
112 ltimer->set_timeout = set_timeout;
113 ltimer->reset = reset;
114 ltimer->destroy = destroy;
116 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(ttc_ltimer_t), &ltimer->data);
120 assert(ltimer
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/plat/bcm2837/
H A Dltimer.c18 #include <platsupport/ltimer.h>
24 #include "../../ltimer.h"
186 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
189 int error = ltimer_default_describe(ltimer, ops);
194 ltimer->get_time = get_time;
195 ltimer->get_resolution = get_resolution;
196 ltimer->set_timeout = set_timeout;
197 ltimer->reset = reset;
198 ltimer->destroy = destroy;
200 error = ps_calloc(&ops.malloc_ops, 1, sizeof(spt_ltimer_t), &ltimer
260 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c23 #include "../../ltimer.h"
231 ZF_LOGE("Periodic timeouts %u not implemented for PIT ltimer", (uint32_t) PIT_MAX_NS);
290 ltimer_init_common(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
292 pc99_ltimer_t *pc99_ltimer = ltimer->data;
296 ltimer->destroy = destroy;
308 static int ltimer_hpet_init_internal(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, argument
311 pc99_ltimer_t *pc99_ltimer = ltimer->data;
313 int error = ltimer_init_common(ltimer, ops, callback, callback_token);
326 ltimer->get_time = hpet_ltimer_get_time;
327 ltimer
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...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c13 #include <platsupport/ltimer.h>
18 #include "../../ltimer.h"
178 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
180 if (ltimer == NULL) {
181 ZF_LOGE("ltimer cannot be NULL");
185 int error = ltimer_default_describe(ltimer, ops);
190 ltimer->get_time = get_time;
191 ltimer->get_resolution = get_resolution;
192 ltimer->set_timeout = set_timeout;
193 ltimer
233 ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dltimer.c18 #include <platsupport/ltimer.h>
24 #include "../../ltimer.h"
86 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
91 ltimer, ops, sizeof(dmt_ltimer_t),
95 ZF_LOGE("Failed to create ltimer");
98 ltimer->get_resolution = get_resolution;
100 dmt_ltimer_t *dmt_ltimer = ltimer->data;
146 int ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dltimer.c18 #include <platsupport/ltimer.h>
22 #include "../../ltimer.h"
81 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
85 if (ltimer == NULL) {
86 ZF_LOGE("ltimer cannot be NULL");
91 ltimer, ops, sizeof(fvp_ltimer_t),
95 ZF_LOGE("Failed to create ltimer simple");
99 fvp_ltimer_t *fvp_ltimer = ltimer->data;
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 Dltimer.c18 #include <platsupport/ltimer.h>
23 #include "../../ltimer.h"
85 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
89 if (ltimer == NULL) {
90 ZF_LOGE("ltimer cannot be NULL");
95 ltimer, ops, sizeof(hikey_ltimer_t),
99 ZF_LOGE("Failed to create ltimer for hikey");
103 hikey_ltimer_t *hikey_ltimer = ltimer->data;
157 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 Dltimer.c20 #include <platsupport/ltimer.h>
24 #include "../../ltimer.h"
81 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
86 if (ltimer == NULL) {
87 ZF_LOGE("ltimer cannot be NULL");
92 ltimer, ops, sizeof(rk_ltimer_t),
96 ZF_LOGE("Failed to create ltimer for rk");
100 rk_ltimer_t *rk_ltimer = ltimer->data;
142 int ltimer_default_describe(ltimer_t *ltimer, ps_io_ops_t ops) argument
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/
H A Dclock.c30 * For now, we are using the ltimer implementation in libplatsupport
46 UNUSED int err = ltimer_get_time(&simple_timer_config->ltimer.ltimer, (uint64_t *) &now);
/seL4-camkes-master/projects/global-components/components/TimeServer/src/plat/pc99/
H A Dplat.c53 void plat_post_init(ltimer_t *ltimer) argument
57 tsc_frequency = ltimer_pit_get_tsc_freq(ltimer);
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dtimer.c19 #include <platsupport/ltimer.h>
38 ltimer_destroy(&timer->ltimer);
90 static int get_nth_pmem(vka_t *vka, ltimer_t *ltimer, sel4ps_pmem_t *obj, int n) argument
92 int error = ltimer_get_nth_pmem(ltimer, n, &obj->region);
111 static inline size_t get_nirqs(ltimer_t *ltimer) argument
113 size_t nirqs = ltimer_get_num_irqs(ltimer);
155 error = ltimer_default_describe(&timer->ltimer, ops);
158 size_t nirqs = get_nirqs(&timer->ltimer);
160 error = ltimer_get_nth_irq(&timer->ltimer, i, &timer->to.irqs[i].irq);
169 error = ltimer_default_init(&timer->ltimer, op
217 ltimer_t ltimer; local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dtimer.h17 #include <platsupport/ltimer.h>
43 ltimer_t ltimer; member in struct:seL4_timer
75 * After this operation is complete, the irqs from the ltimer will be delivered to the
77 * of the irq in the default ltimer.
82 * addresses (if any) required by the ltimer.
84 * @param simple for getting irq capabilities for the ltimer irqs.
101 * timer_objects are provided and the user is expected to initialise the ltimer after calling this function
109 * @param simple for getting irq capabilities for the ltimer irqs.

Completed in 98 milliseconds

12