H A D | procon.c | 51 void sp_reload_regs(struct shared_pool_private *spp) argument 53 assert(spp != NULL); 54 struct shared_pool *sp = spp->sp; 56 spp->c_read_id = spp->sp->read_reg.value; 57 spp->c_write_id = spp->sp->write_reg.value; 58 spp->c_size = spp->sp->size_reg.value; 59 // spp 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...] |