/* 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)
{
	osPoolDef_t *osPool = (osPoolDef_t *)pool_id;
	k_mem_slab_free((struct k_mem_slab *)(osPool->pool), (void *)block);
	return osOK;
}