monitor/capops/capsend.c

77     struct capsend_mc_msg_st *msg_st = (struct capsend_mc_msg_st*)e;
78     struct capsend_mc_st *mc_st = msg_st->mc_st;
88         err = capsend_target(msg_st->dest, (struct msg_queue_elem*)msg_st);
112     // get next msg_st
113     struct capsend_mc_msg_st *msg_st = &mc_st->msg_st_arr[mc_st->num_queued];
114     msg_st->queue_elem.cont = capsend_mc_send_cont;
115     msg_st->mc_st = mc_st;
116     msg_st->dest = dest;
118     err = capsend_target(dest, (struct msg_queue_elem*)msg_st);
306     struct find_cap_result_msg_st *msg_st = (struct find_cap_result_msg_st*)e;
308     err = intermon_capops_find_cap_result__tx(b, NOP_CONT, msg_st->result, msg_st->st);
324     free(msg_st);
332     struct find_cap_result_msg_st *msg_st = calloc(1, sizeof(struct find_cap_result_msg_st));
333     if (!msg_st) {
336     msg_st->queue_elem.cont = find_cap_result_send_cont;
337     msg_st->result = result;
338     msg_st->st = st;
340     err = capsend_target(dest, (struct msg_queue_elem*)msg_st);
342         free(msg_st);
477     struct find_descendants_result_msg_st *msg_st;
478     msg_st = (struct find_descendants_result_msg_st*)e;
479     err = intermon_capops_find_descendants_result__tx(b, NOP_CONT, msg_st->status, msg_st->st);
492     free(msg_st);
514     struct find_descendants_result_msg_st *msg_st;
515     msg_st = malloc(sizeof(*msg_st));
516     if (!msg_st) {
520     msg_st->queue_elem.cont = find_descendants_result_send_cont;
521     msg_st->st = st;
526     msg_st->status = err;
528     err = capsend_target(from, (struct msg_queue_elem*)msg_st);
631     struct check_retypeable_result_msg_st *msg_st;
632     msg_st = (struct check_retypeable_result_msg_st*)e;
633     err = intermon_capops_check_retypeable_result__tx(b, NOP_CONT, msg_st->status, msg_st->st);
646     free(msg_st);
671     struct check_retypeable_result_msg_st *msg_st;
672     msg_st = malloc(sizeof(*msg_st));
673     if (!msg_st) {
677     msg_st->queue_elem.cont = check_retypeable_result_send_cont;
678     msg_st->st = st;
679     msg_st->status = err;
681     err = capsend_target(from, (struct msg_queue_elem*)msg_st);
772     struct owner_updated_msg_st *msg_st = (struct owner_updated_msg_st*)e;
774     err = intermon_capops_owner_updated__tx(b, NOP_CONT, msg_st->st);
790     free(msg_st);
797     struct owner_updated_msg_st *msg_st = calloc(1, sizeof(struct owner_updated_msg_st));
798     if (!msg_st) {
801     msg_st->queue_elem.cont = owner_updated_send_cont;
802     msg_st->st = st;
804     err = capsend_target(owner, (struct msg_queue_elem*)msg_st);
806         free(msg_st);