diff options
author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2011-01-26 23:04:31 +0100 |
---|---|---|
committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2011-01-26 23:04:31 +0100 |
commit | e1677a34840ea225d54d216757172907ebb78c0b (patch) | |
tree | d86fbfbb352dafcfd4c8d931495a15f682e9fef2 /os/src/free.c | |
parent | 2737d81d205a1cf086197fc2f75445e491d18c1f (diff) |
Adding debugging system for the os layer.
Diffstat (limited to 'os/src/free.c')
-rw-r--r-- | os/src/free.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/os/src/free.c b/os/src/free.c index d80aff2..0091d56 100644 --- a/os/src/free.c +++ b/os/src/free.c @@ -1,6 +1,8 @@ #include <reent.h> #include <malloc.h> +#include <osdebug.h> void free(void * ptr) { + DBGOUT("free(%p)\r\n", ptr); _free_r(_impure_ptr, ptr); } |