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

/barrelfish-2018-10-04/include/procon/
H A Dprocon.h128 bool sp_set_read_index(struct shared_pool_private *spp, uint64_t index);
/barrelfish-2018-10-04/lib/procon/
H A Dprocon.c448 bool sp_set_read_index(struct shared_pool_private *spp, uint64_t idx) function
484 } // end function: sp_set_read_index
757 return (sp_set_read_index(spp, spp->ghost_read_id));
795 if(!sp_set_read_index(spp, ((ri + 1) % spp->c_size))) {
796 printf("sp_set_read_index failed\n");
/barrelfish-2018-10-04/usr/bench/net_latency/elb/
H A Dinterface_app.c69 result = sp_set_read_index(spp_rx,

Completed in 44 milliseconds