/* Allocate a memory block from a memory pool.  */
void* osPoolAlloc(osPoolId pool_id)
/* Allocate a memory block from a memory pool.  */
void* osPoolAlloc(osPoolId pool_id)
{
	return rt_mp_alloc(pool_id, 0);
}