| /seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/ |
| H A D | timer.h | 43 ltimer_t ltimer; member in struct:seL4_timer
|
| /seL4-refos-master/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-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
| H A D | timer.h | 43 ltimer_t ltimer; member in struct:seL4_timer
|
| /seL4-refos-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-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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...] |
| /seL4-refos-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...] |
| /seL4-refos-master/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-refos-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-refos-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...] |