/seL4-camkes-master/projects/global-components/components/TimeServer/src/ |
H A D | plat.h | 14 #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 D | client.c | 15 #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 D | client.h | 14 #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 D | local_time_manager.h | 16 #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 D | timer.h | 15 #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 D | ltimer.c | 18 #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 D | ltimer.h | 13 #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 D | local_time_manager.c | 21 #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 D | ltimer.c | 15 * 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 D | generic_ltimer.c | 20 #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 D | ltimer.c | 23 #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), <imer 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 D | ltimer.c | 17 #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), <imer 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 D | ltimer.c | 18 #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 D | ltimer.c | 18 #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), <imer->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 D | ltimer.c | 18 #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), <imer 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 D | ltimer.c | 23 #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 D | ltimer.c | 13 #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 D | ltimer.c | 18 #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 D | ltimer.c | 18 #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 D | ltimer.c | 18 #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 D | ltimer.c | 20 #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 D | clock.c | 30 * 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 D | plat.c | 53 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 D | timer.c | 19 #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 D | timer.h | 17 #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.
|