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

/barrelfish-2018-10-04/include/procon/
H A Dprocon.h91 uint64_t sp_c_range_size(uint64_t start, uint64_t end, uint64_t size);
/barrelfish-2018-10-04/lib/procon/
H A Dprocon.c77 uint64_t sp_c_range_size(uint64_t start, uint64_t end, uint64_t size) function
186 return sp_c_range_size(spp->c_read_id, spp->c_write_id, spp->c_size);
222 return sp_c_range_size(spp->c_write_id, spp->c_read_id, spp->c_size);

Completed in 38 milliseconds