Lines Matching defs:queue_elem
22 capsend_target(coreid_t dest, struct msg_queue_elem *queue_elem)
32 DEBUG_CAPOPS("capsend_target: ->%d (%p)\n", dest, queue_elem);
40 return intermon_enqueue_send(dest_b, &inter_st->queue, dest_b->waitset, queue_elem);
44 capsend_owner(struct domcapref capref, struct msg_queue_elem *queue_elem)
56 return capsend_target(owner, queue_elem);
69 struct intermon_msg_queue_elem queue_elem;
114 msg_st->queue_elem.cont = capsend_mc_send_cont;
296 struct intermon_msg_queue_elem queue_elem;
336 msg_st->queue_elem.cont = find_cap_result_send_cont;
467 struct intermon_msg_queue_elem queue_elem;
520 msg_st->queue_elem.cont = find_descendants_result_send_cont;
621 struct intermon_msg_queue_elem queue_elem;
677 msg_st->queue_elem.cont = check_retypeable_result_send_cont;
764 struct intermon_msg_queue_elem queue_elem;
801 msg_st->queue_elem.cont = owner_updated_send_cont;