Searched refs:sp_write_peekable_index (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/include/procon/
H A Dprocon.h101 bool sp_write_peekable_index(struct shared_pool_private *spp, uint64_t index);
/barrelfish-2018-10-04/lib/procon/
H A Dprocon.c190 bool sp_write_peekable_index(struct shared_pool_private *spp, uint64_t idx) function
205 } // end function: sp_write_peekable_index
211 return sp_write_peekable_index(spp, idx);
694 if (!sp_write_peekable_index(spp, idx))

Completed in 51 milliseconds