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

/barrelfish-2018-10-04/include/procon/
H A Dprocon.h88 bool sp_gen_queue_empty(uint64_t read, uint64_t write);
/barrelfish-2018-10-04/lib/procon/
H A Dprocon.c67 bool sp_gen_queue_empty(uint64_t read, uint64_t write) function
149 return sp_gen_queue_empty(spp->c_read_id, spp->c_write_id);

Completed in 86 milliseconds