+/*
+ Palacios memory allocation-checking framework
+ (c) Peter Dinda, 2013
+ */
+
#include <linux/kernel.h>
#include <linux/kthread.h>
#include <linux/spinlock.h>
printmem("ALLOCATED MEMORY AT DEINIT",m);
}
}
+
+ palacios_spinlock_deinit(&lock);
+
INFO("MEMCHECK: DEINITED\n");
// Note that this function could garbage collect at this
memcheck_state_t *m=find_mem_entry(addr,0,type); // don't care about the size now
if (!m){
- DEBUG("MEMCHECK: FREEING UNTRACKED %s MEMORY AT 0x%p FOR %lu BYTES\n",TYPE_TO_STR(type),addr,size);
+ DEBUG("MEMCHECK: FREEING UNTRACKED %s MEMORY AT 0x%p FOR %lu BYTES - stack trace follows\n",TYPE_TO_STR(type),addr,size);
+ dump_stack();
return;
}