void ctl_heap_free(void *p);
ctl_heap_free frees the memory allocated to the block p. If p is zero, ctl_heap_free does nothing.
The implementation of ctl_heap_free allows memory to be freed from an interrupt handler.