Hello, I want to allocate a memory in a memory pool, so I call "init_mempool" function like this:
init_mempool (&XBYTE[0x0400], 0x0C00);