/* Return an allocated memory block back to a specific memory pool.  */
osStatus osPoolFree(osPoolId pool_id, void *block)
/* Return an allocated memory block back to a specific memory pool.  */
osStatus osPoolFree(osPoolId pool_id, void *block)
{
	rt_mp_free(block);
	return osOK;
}