Searched refs:sp_set_write_index (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/include/procon/
H A Dprocon.h129 bool sp_set_write_index(struct shared_pool_private *spp, uint64_t index);
/barrelfish-2018-10-04/lib/procon/
H A Dprocon.c490 bool sp_set_write_index(struct shared_pool_private *spp, uint64_t idx) function
528 } // end function: sp_set_write_index
639 if(!sp_set_write_index(spp, ((wi + 1) % spp->c_size))) {
640 printf("ERROR: validate_and_empty_produce_slot: sp_set_write_index "
668 if(!sp_set_write_index(spp, ((wi + 1) % spp->c_size))) {
669 printf("ERROR: sp_produce_slot: sp_set_write_index failed\n");
/barrelfish-2018-10-04/usr/bench/net_latency/elb/
H A Dinterface_app.c147 res = sp_set_write_index(spp_rx, count - 1);

Completed in 93 milliseconds