Frees a previously allocated memory block.
#include <library.h> void library_free ( void *addr);
(IN) Points to a memory block previously allocated by a call to library_calloc, library_malloc, or library_realloc.
When the value of addr is NULL, the function does nothing. Otherwise, the library_free function deallocates the memory block located by the addr parameter. The addr parameter is 32 bits.
After the call to free, the freed memory is available for allocation.
This function is indistinguishable from the free function and is only provided to complete the logical set of memory management functions in library.h.