gonzui

tkernel_2

kernel/tkernel/src/messagebuf.c - 18.5KB - 689 lines

509:                 pk_rmbf->exinf = mbfcb->exinf;
510:                 pk_rmbf->wtsk = wait_tskid(&mbfcb->recv_queue);
511:                 pk_rmbf->stsk = wait_tskid(&mbfcb->send_queue);
512:                 if ( !mbf_empty(mbfcb) ) {
607:                 pk_rmbf->exinf = mbfcb->exinf;
608:                 pk_rmbf->wtsk = wait_tskid(&mbfcb->recv_queue);
609:                 pk_rmbf->stsk = wait_tskid(&mbfcb->send_queue);
610:                 if ( !mbf_empty(mbfcb) ) {