gonzui

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

kernel/tkernel/src/mempool.c - 20.9KB - 791 lines

378:                 /* Get memory block */
379:                 blk = get_blk(mplcb, blksz);
380:                 *top->winfo.mpl.p_blk = blk;
567:         if ( gcb_top_of_wait_queue((GCB*)mplcb, ctxtsk) == ctxtsk
568:           && (blk = get_blk(mplcb, blksz)) != NULL ) {
569:                 /* Get memory block */