| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | generic_ltimer.c | 150 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_data) function
|
| /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) function
|
| /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) function
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 364 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) function
|