void free_monitor | (ptr, file, line) |
char | *ptr | A pointer to the block of memory to be deallocated. |
char | *file | The name of the source-file from which this function was called. |
int | line | The line in the source-file from which this function was called. |
This document was generated using api2html on Thu Mar 5 09:00:00 MET DST 1998