xc_extract
xc_msg_t *msg = xc_extract(&mcpup->xc_msgbox);
while ((msg = xc_extract(&cpup->cpu_m.xc_free)) != NULL) {
while ((msg = xc_extract(&xc_waiters)) != NULL) {
msg = xc_extract(&CPU->cpu_m.xc_free);