ddekit: print messages.

4 files changed, 15 insertions, 4 deletions

diff --git a/libddekit/Makefile b/libddekit/Makefile
index 958e67d3..04921b83 100644
--- a/libddekit/Makefile
+++ b/libddekit/Makefile
@@ -31,7 +31,7 @@ LCLHDRS = include/ddekit/condvar.h include/ddekit/lock.h	\
 	  include/ddekit/interrupt.h include/ddekit/resources.h	\
 	  include/ddekit/memory.h include/ddekit/timer.h	\
 	  include/dde.h		\
-	  config.h list.h
+	  config.h list.h util.h
 installhdrs = 
 
 MIGSTUBS = deviceUser.o machUser.o
diff --git a/libddekit/kmem.c b/libddekit/kmem.c
index 668505ec..3b869cc9 100644
--- a/libddekit/kmem.c
+++ b/libddekit/kmem.c
@@ -30,6 +30,7 @@
 #include <hurd.h>
 #include <cthreads.h>
 
+#include "util.h"
 #include "vm_param.h"
 
 #include "ddekit/panic.h"
@@ -286,7 +287,7 @@ linux_kmalloc (unsigned int size, int priority)
       if (!err)
 	pages_free[i].end = pages_free[i].start + size;
       mutex_unlock (&mem_lock);
-      printf ("allocate %d bytes at (virt: %x, phys: %x), slot %d\n",
+      fprintf (stderr, "allocate %d bytes at (virt: %x, phys: %x), slot %d\n",
 	      size, pages_free[i].start, pages_free[i].pstart, i);
 
       return err ? NULL : (void *) pages_free[i].start;
diff --git a/libddekit/memory.c b/libddekit/memory.c
index 69088c2a..d7ea9705 100644
--- a/libddekit/memory.c
+++ b/libddekit/memory.c
@@ -11,7 +11,9 @@
  */
 
 #include <stdlib.h>
+#include <stdio.h>
 
+#include "util.h"
 #include "ddekit/memory.h"
 #include "ddekit/panic.h"
 
@@ -52,7 +54,6 @@ struct ddekit_pcache
 	int contig;
 };
 
-
 /**
  * Setup page cache for all slabs
  *
@@ -64,6 +65,7 @@ struct ddekit_pcache
  */
 void ddekit_slab_setup_page_cache(unsigned pages)
 {
+	UNIMPL;
 }
 
 /*******************************
@@ -109,6 +111,7 @@ void  ddekit_slab_set_data(struct ddekit_slab * slab, void *data)
 #if 0
 	l4slab_set_data(&slab->cache, data);
 #endif
+	UNIMPL;
 }
 
 
@@ -120,6 +123,7 @@ void *ddekit_slab_get_data(struct ddekit_slab * slab)
 #if 0
 	return l4slab_get_data(&slab->cache);
 #endif
+	UNIMPL;
 	return NULL;
 }
 
@@ -179,6 +183,7 @@ void ddekit_large_free(void *objp)
  */
 void *ddekit_large_malloc(int size)
 {
+	ddekit_printf("ddekit_large_malloc %d bytes\n", size);
 	return linux_kmalloc (size, 0);
 }
 
diff --git a/libddekit/pgtab.c b/libddekit/pgtab.c
index 88273b7c..aa652c75 100644
--- a/libddekit/pgtab.c
+++ b/libddekit/pgtab.c
@@ -14,7 +14,7 @@
 #include <mach.h>
 
 #include "ddekit/pgtab.h"
-
+#include "util.h"
 #include "config.h"
 
 /*****************************
@@ -59,6 +59,7 @@ int ddekit_pgtab_get_type(const void *virtual)
 
 	return p->type;
 #endif
+	UNIMPL;
 	return 0;
 }
 
@@ -76,6 +77,7 @@ int ddekit_pgtab_get_size(const void *virtual)
 
 	return p->size;
 #endif
+	UNIMPL;
 	return 0;
 }
 
@@ -88,6 +90,7 @@ int ddekit_pgtab_get_size(const void *virtual)
  */
 void ddekit_pgtab_clear_region(void *virtual, int type)
 {
+	UNIMPL;
 }
 
 
@@ -101,9 +104,11 @@ void ddekit_pgtab_clear_region(void *virtual, int type)
  */
 void ddekit_pgtab_set_region(void *virtual, ddekit_addr_t physical, int pages, int type)
 {
+	UNIMPL;
 }
 
 void ddekit_pgtab_set_region_with_size(void *virt, ddekit_addr_t phys, int size, int type)
 {
+	UNIMPL;
 }