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

/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dtime_manager.h51 int (*alloc_id_at)(void *data, unsigned int id); member in struct:time_manager
138 __TM_VALID_ARGS(alloc_id_at);
139 return tm->alloc_id_at(tm->data, id);
/seL4-refos-master/libs/libplatsupport/src/
H A Dlocal_time_manager.c36 static int alloc_id_at(void *data, unsigned int id) function
175 tm->alloc_id_at = alloc_id_at;
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtime_manager.h51 int (*alloc_id_at)(void *data, unsigned int id); member in struct:time_manager
138 __TM_VALID_ARGS(alloc_id_at);
139 return tm->alloc_id_at(tm->data, id);
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c36 static int alloc_id_at(void *data, unsigned int id) function
175 tm->alloc_id_at = alloc_id_at;

Completed in 84 milliseconds