gonzui

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

kernel/tkernel/messagebuf.c - 17.3KB - 640 lines

398: 
399:         if ( !knl_mbf_empty(mbfcb) ) {
400:                 /* Read from message buffer */
453:                 pk_rmbf->stsk = knl_wait_tskid(&mbfcb->send_queue);
454:                 if ( !knl_mbf_empty(mbfcb) ) {
455:                         pk_rmbf->msgsz = *(HEADER*)&mbfcb->buffer[mbfcb->head];
555:                 pk_rmbf->stsk = knl_wait_tskid(&mbfcb->send_queue);
556:                 if ( !knl_mbf_empty(mbfcb) ) {
557:                         pk_rmbf->msgsz = *(HEADER*)&mbfcb->buffer[mbfcb->head];