gonzui

Results 1 - 1 of 1 for funcall:mbf_empty (0.00 seconds)

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

457: 
458:         if ( !mbf_empty(mbfcb) ) {
459:                 /* Read from message buffer */
511:                 pk_rmbf->stsk = wait_tskid(&mbfcb->send_queue);
512:                 if ( !mbf_empty(mbfcb) ) {
513:                         pk_rmbf->msgsz = *(HEADER*)&mbfcb->buffer[mbfcb->head];
609:                 pk_rmbf->stsk = wait_tskid(&mbfcb->send_queue);
610:                 if ( !mbf_empty(mbfcb) ) {
611:                         pk_rmbf->msgsz = *(HEADER*)&mbfcb->buffer[mbfcb->head];