Searched refs:time_manager (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dlocal_time_manager.h15 #include <platsupport/time_manager.h>
H A Dtqueue.h18 #include <platsupport/time_manager.h>
H A Dtime_manager.h33 typedef struct time_manager { struct
/seL4-camkes-master/projects/global-components/components/TimeServer/src/
H A Dtime_server.c24 #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, &ltimer, &io_ops, num_timers);
246 error = tm_alloc_id_at(&time_manager, i);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c18 #include <platsupport/time_manager.h>

Completed in 76 milliseconds