Synopsis
void ctl_memory_area_free(CTL_MEMORY_AREA_t *memory_area,
                          unsigned *block);
Description

ctl_memory_area_free is given a pointer to a memory area memory_area which has been initialized and a block that has been returned by ctl_memory_area_allocate. The block is returned to the memory area so that it can be allocated again.