X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Fkernel%2Fshow.c;fp=kitten%2Fkernel%2Fshow.c;h=0000000000000000000000000000000000000000;hb=80d6ccd14cca51eec611cc96cf1e39c7a9c98421;hp=7175ebfc8e94ee71ae2911784e226dee1e960a03;hpb=e5d7715c14a23e72d742d402d4e4cdf97ffab697;p=palacios.releases.git

diff --git a/kitten/kernel/show.c b/kitten/kernel/show.c
deleted file mode 100644
index 7175ebf..0000000
--- a/kitten/kernel/show.c
+++ /dev/null
@@ -1,22 +0,0 @@
-#include <lwk/kernel.h>
-#include <lwk/show.h>
-
-/**
- * Prints the contents of memory in hex to the console.
- * The region printed starts at vaddr and extends n unsigned longs.
- */
-void
-show_memory(unsigned long vaddr, size_t n)
-{
-	int i;
-
-	for (i = 0; i < n; i++) {
-		printk(KERN_DEBUG "0x%016lx: 0x%08x_%08x\n",
-			vaddr,
-			*((unsigned int *)(vaddr+4)),
-			*((unsigned int *)(vaddr))
-		);
-		vaddr += sizeof(unsigned long);
-	}
-}
-