Searched refs:set_index (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/lib/libc/isc/ | ||
H A D | ev_timers.c | 56 static void set_index(void *, int); 435 return (heap_new(due_sooner, set_index, 2048)); 456 set_index(void *what, int index) { function |
Completed in 19 milliseconds