removed #inluce <stdio.h>, since no debug printf's anymore in these files
authorSamuel Hitz <samuel.hitz@gmail.com>
Tue, 29 May 2012 07:48:30 +0000 (09:48 +0200)
committerSamuel Hitz <samuel.hitz@gmail.com>
Tue, 29 May 2012 07:48:30 +0000 (09:48 +0200)
lib/barrelfish/capabilities.c
lib/barrelfish/vspace/memobj_anon.c
lib/barrelfish/vspace/pinned.c
lib/barrelfish/vspace/vregion.c

index 8f66ff5..07c87ac 100644 (file)
@@ -22,7 +22,6 @@
 #include <if/monitor_blocking_rpcclient_defs.h>
 #include <barrelfish/monitor_client.h>
 #include <trace/trace.h>
-#include <stdio.h>
 
 /// Root CNode
 struct cnoderef cnode_root = {
index b6d70c0..7ee53e0 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <barrelfish/barrelfish.h>
 #include "vspace_internal.h"
-#include <stdio.h>
 
 /**
  * \brief Map the memory object into a region
index af78e6d..d87035b 100644 (file)
@@ -29,7 +29,6 @@
 #include <barrelfish/barrelfish.h>
 #include <barrelfish/core_state_arch.h>
 #include "vspace_internal.h"
-#include <stdio.h>
 
 
 /**
index 66a0e92..5634ba5 100644 (file)
@@ -17,7 +17,6 @@
 
 #include <barrelfish/barrelfish.h>
 #include "vspace_internal.h"
-#include <stdio.h>
 
 /**
  * \brief Setup a new vregion with alignment constraints in an address space