| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | timer.h | 35 ltimer_callback_fn_t callback, void *callback_token);
39 int ltimer_pit_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token);
42 void *callback_token);
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
| H A D | ltimer.c | 111 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
122 error = imx_init_timestamp(&imx_ltimer->timers, ops, callback, callback_token);
133 error = imx_init_timeout(&imx_ltimer->timers, ops, callback, callback_token);
|
| /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
295 pc99_ltimer->user_callback_token = callback_token;
309 void *callback_token)
313 int error = ltimer_init_common(ltimer, ops, callback, callback_token);
364 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
373 return ltimer_pit_init(ltimer, ops, callback, callback_token);
376 return ltimer_hpet_init_internal(ltimer, ops, callback, callback_token);
381 ltimer_callback_fn_t callback, void *callback_token)
388 return ltimer_hpet_init_internal(ltimer, ops, callback, callback_token);
392 void *callback_token)
308 ltimer_hpet_init_internal(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
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | ltimer.c | 125 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
138 .user_callback_token = callback_token,
145 .user_callback_token = callback_token,
|
| /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
119 error = gpt_create(&omap_ltimer->abs_gpt, ops, GPT1_DEVICE_PATH, callback, callback_token);
125 error = gpt_create(&omap_ltimer->rel_gpt, ops, GPT2_DEVICE_PATH, callback, callback_token);
|
| /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
111 error = nv_tmr_init(&nv_tmr_ltimer->nv_tmr, ops, NV_TMR_PATH, callback, callback_token);
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | ltimer.c | 106 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
119 error = pwm_init(&pwm_ltimer->pwm, ops, PWM_TIMER_PATH, callback, callback_token);
|
| /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
105 .user_cb_token = callback_token,
|
| /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
106 .user_cb_token = callback_token,
|
| /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
110 .user_cb_token = callback_token,
|
| /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
107 .user_cb_token = callback_token,
|
| /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
208 spt_ltimer->user_callback_token = callback_token;
|
| /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
206 odroidc2_timer->user_callback_token = callback_token;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 224 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument
240 timers->user_callback_token = callback_token;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | ltimer.h | 327 int ltimer_default_init(ltimer_t *timer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token);
|