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

/barrelfish-2018-10-04/include/barrelfish/
H A Ddispatcher.h100 int8_t recv_slot_count; ///< number of currently queued recv slots member in struct:dispatcher_generic
/barrelfish-2018-10-04/lib/barrelfish/
H A Dthreads.c680 assert(disp_gen->recv_slot_count < MAX_RECV_SLOTS);
681 assert(disp_gen->recv_slot_count >= 0);
682 disp_gen->recv_slots[disp_gen->recv_slot_count++] = recv_slot;
693 // HERE: recv_slot_count is > 0 if we have one+ caps stored
694 if (disp_gen->recv_slot_count <= 0) {
697 retcap = disp_gen->recv_slots[--disp_gen->recv_slot_count];

Completed in 40 milliseconds