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

/barrelfish-2018-10-04/include/procon/
H A Dprocon.h104 bool sp_validate_write_index(struct shared_pool_private *spp, uint64_t index);
/barrelfish-2018-10-04/lib/procon/
H A Dprocon.c209 bool sp_validate_write_index(struct shared_pool_private *spp, uint64_t idx) function
212 } // end function: sp_validate_write_index
499 if (!sp_validate_write_index(spp, idx)) {

Completed in 112 milliseconds