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

/barrelfish-2018-10-04/include/procon/
H A Dprocon.h144 void sp_print_slot(struct slot_data *d);
/barrelfish-2018-10-04/lib/procon/
H A Dprocon.c710 sp_print_slot(&spp->sp->slot_list[idx].d);
746 sp_print_slot(&spp->sp->slot_list[spp->ghost_read_id].d);
831 void sp_print_slot(struct slot_data *d) function
851 sp_print_slot(&sp->slot_list[i].d);

Completed in 59 milliseconds