Searched refs:sel4platsupport_init_default_timer_ops (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
| H A D | timer.h | 90 int sel4platsupport_init_default_timer_ops(vka_t *vka, vspace_t *vspace, simple_t *simple, ps_io_ops_t ops,
94 * Wrapper around sel4platsupport_init_default_timer_ops that generates as much of an
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | timer.c | 147 int sel4platsupport_init_default_timer_ops(vka_t *vka, UNUSED vspace_t *vspace, simple_t *simple, function
186 return sel4platsupport_init_default_timer_ops(vka, vspace, simple, ops, ntfn, timer);
|
Completed in 63 milliseconds