Searched refs:time_manager (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | local_time_manager.h | 15 #include <platsupport/time_manager.h>
|
H A D | tqueue.h | 18 #include <platsupport/time_manager.h>
|
H A D | time_manager.h | 33 typedef struct time_manager { struct
|
/seL4-camkes-master/projects/global-components/components/TimeServer/src/ |
H A D | time_server.c | 24 #include <platsupport/time_manager.h> 37 static time_manager_t time_manager; variable 83 error = tm_update(&time_manager); 101 error = tm_register_rel_cb(&time_manager, ns, id, signal_client, (uintptr_t) id); 121 error = tm_register_abs_cb(&time_manager, ns, token, signal_client, (uintptr_t) token); 144 error = tm_register_periodic_cb(&time_manager, ns, 0, token, signal_client, (uintptr_t) token); 161 error = tm_deregister_cb(&time_manager, get_time_token(cid, tid)); 244 tm_init(&time_manager, <imer, &io_ops, num_timers); 246 error = tm_alloc_id_at(&time_manager, i);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | local_time_manager.c | 18 #include <platsupport/time_manager.h>
|
Completed in 76 milliseconds