source: UsbWattMeter/trunk/asp_dcre/library/mem_pool.c@ 164

/*
 * ‘æ3‰ñ TOPPERSŠˆ—pƒAƒCƒfƒAEƒAƒvƒŠƒP[ƒVƒ‡ƒ“ŠJ”­ƒRƒ“ƒeƒXƒg
 * ¼‰Y Œõ—m‚³‚ñ‚́ulwIP ‚̈ڐAv‚ðƒx[ƒX‚É‚µ‚Ü‚µ‚½B
 * http://www.toppers.jp/contest.html
 *
 *  @(#) $Id: mem_pool.c 164 2016-03-07 11:33:50Z coas-nagasima $
 */
//asp\doc\porting.txt
//6.15.1‚æ‚è

#include "kernel/kernel_impl.h"
#include "tlsf.h"

static tlsf_t tlsf_kmm;
static pool_t pool_kmm;

void
initialize_kmm(void)
{
        if ((kmm == NULL) || (kmmsz <= tlsf_size())) {
                tlsf_kmm = NULL;
                return;
        }

        tlsf_kmm = tlsf_create(kmm);
        if (tlsf_kmm == NULL)
                return;

        pool_kmm = tlsf_add_pool(tlsf_kmm, ((uint8_t *)kmm) + tlsf_size(), kmmsz - tlsf_size());
}

void *
kernel_malloc(SIZE size)
{
        if (tlsf_kmm != NULL) {
                return tlsf_malloc(tlsf_kmm, size);
        }
        else {
                return(NULL);
        }
}

void
kernel_free(void *ptr)
{
        if (tlsf_kmm != NULL) {
                tlsf_free(tlsf_kmm, ptr);
        }
}