xc_msg_t
xc_insert(void *queue, xc_msg_t *msg)
xc_msg_t *old_head;
old_head = (xc_msg_t *)*(volatile xc_msg_t **)queue;
static xc_msg_t *
xc_extract(xc_msg_t **queue)
xc_msg_t *old_head;
old_head = (xc_msg_t *)*(volatile xc_msg_t **)queue;
static xc_msg_t *
xc_msg_t *msg = xc_extract(&mcpup->xc_msgbox);
xc_msg_t *msg;
xc_msg_t *msg;
xc_msg_t *msg;
xc_msg_t *xc_waiters = NULL;
xc_msg_t *msg;