aio_cleanup_dr_delete_memory
int (*aio_cleanup_dr_delete_memory)(proc_t *);
aio_cleanup_dr_delete_memory = (int (*)(proc_t *))
if (aio_cleanup_dr_delete_memory == NULL) {
(*aio_cleanup_dr_delete_memory)(procp);
int (*aio_cleanup_dr_delete_memory)(proc_t *);
aio_cleanup_dr_delete_memory = (int (*)(proc_t *))
if (aio_cleanup_dr_delete_memory == NULL) {
cleaned += (*aio_cleanup_dr_delete_memory)(procp);