Searched refs:deregister_cb (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dtime_manager.h92 int (*deregister_cb)(void *data, uint32_t id); member in struct:time_manager
212 __TM_VALID_ARGS(deregister_cb);
213 return tm->deregister_cb(tm->data, id);
/seL4-refos-master/libs/libplatsupport/src/
H A Dlocal_time_manager.c158 static int deregister_cb(void *data, uint32_t id) function
177 tm->deregister_cb = deregister_cb;
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtime_manager.h92 int (*deregister_cb)(void *data, uint32_t id); member in struct:time_manager
212 __TM_VALID_ARGS(deregister_cb);
213 return tm->deregister_cb(tm->data, id);
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c158 static int deregister_cb(void *data, uint32_t id) function
177 tm->deregister_cb = deregister_cb;

Completed in 86 milliseconds