gonzui

tkernel_2

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

497: 
498:         CHECK_MPLID(mplid);
499:         CHECK_DISPATCH();
539: 
540:         CHECK_MPLID(mplid);
541:         CHECK_PAR(blksz > 0 && blksz <= MAX_ALLOCATE);
594: 
595:         CHECK_MPLID(mplid);
596:         CHECK_DISPATCH();
636: 
637:         CHECK_MPLID(mplid);
638:         CHECK_DISPATCH();
678: 
679:         CHECK_MPLID(id);
680: 
733: 
734:         CHECK_MPLID(mplid);
735: 
768: 
769:         CHECK_MPLID(mplid);
770: