Searched defs:spp (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/lib/procon/ |
| H A D | procon.c | 51 void sp_reload_regs(struct shared_pool_private *spp) argument
125 sp_get_read_index(struct shared_pool_private *spp) argument
131 sp_get_write_index(struct shared_pool_private *spp) argument
137 sp_get_queue_size(struct shared_pool_private *spp) argument
146 sp_queue_empty(struct shared_pool_private *spp) argument
154 sp_queue_full(struct shared_pool_private *spp) argument
162 sp_read_peekable_index(struct shared_pool_private *spp, uint64_t idx) argument
170 sp_validate_read_index(struct shared_pool_private *spp, uint64_t idx) argument
183 sp_queue_elements_count(struct shared_pool_private *spp) argument
190 sp_write_peekable_index(struct shared_pool_private *spp, uint64_t idx) argument
209 sp_validate_write_index(struct shared_pool_private *spp, uint64_t idx) argument
216 sp_queue_free_slots_count(struct shared_pool_private *spp) argument
235 sp_reset_pool(struct shared_pool_private *spp, uint64_t slot_count) argument
273 struct shared_pool_private *spp = (struct shared_pool_private *) local
326 sp_map_shared_pool(struct shared_pool_private *spp, struct capref cap, uint64_t slot_no, uint8_t role) argument
396 copy_data_into_slot(struct shared_pool_private *spp, uint64_t buf_id, uint64_t id, uint64_t offset, uint64_t len, uint64_t no_pbufs, uint64_t client_data, uint64_t ts) argument
439 sp_copy_slot_data_from_index(struct shared_pool_private *spp, uint64_t idx, struct slot_data *d) argument
448 sp_set_read_index(struct shared_pool_private *spp, uint64_t idx) argument
490 sp_set_write_index(struct shared_pool_private *spp, uint64_t idx) argument
530 sp_increment_write_index(struct shared_pool_private *spp) argument
559 sp_is_slot_clear(struct shared_pool_private *spp, uint64_t id) argument
600 sp_clear_slot(struct shared_pool_private *spp, struct slot_data *d, uint64_t id) argument
627 validate_and_empty_produce_slot(struct shared_pool_private *spp, uint64_t produced_slot_id) argument
649 sp_produce_slot(struct shared_pool_private *spp, struct slot_data *d) argument
680 sp_ghost_produce_slot(struct shared_pool_private *spp, struct slot_data *d, uint64_t idx) argument
720 sp_ghost_read_slot(struct shared_pool_private *spp, struct slot_data *dst) argument
755 sp_ghost_read_confirm(struct shared_pool_private *spp) argument
764 sp_replace_slot(struct shared_pool_private *spp, struct slot_data *new_slot) argument
805 sp_print_metadata(struct shared_pool_private *spp) argument
840 sp_print_pool(struct shared_pool_private *spp) argument
[all...] |
Completed in 27 milliseconds