Searched defs:objs (Results 1 - 1 of 1) sorted by last modified time
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ | ||
H A D | timer.h | 38 sel4ps_pmem_t objs[MAX_OBJS]; member in struct:timer_objects |
Completed in 68 milliseconds