From: Kevin Pedretti <ktpedre@sandia.gov>
Date: Tue, 21 Oct 2008 22:10:46 +0000 (-0500)
Subject: Fix warnings
X-Git-Tag: 1.0^2~30^2~1
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=e95bdc48b03086dd78b9dde7d3299312fa31c89c

Fix warnings
---

diff --git a/kitten/init/main.c b/kitten/init/main.c
index ea9c09b..34ab6f9 100644
--- a/kitten/init/main.c
+++ b/kitten/init/main.c
@@ -130,12 +130,12 @@ start_kernel()
 
 	printk( KERN_INFO "Calling Init_V3\n" );
   Init_V3(&os_hooks, &v3_ops);
-	printk( KERN_INFO "Rombios: %p @ %d\n",
+	printk( KERN_INFO "Rombios: %p @ %lu\n",
 		&rombios_start,
 		&rombios_end - &rombios_start
 	);
 
-	printk( KERN_INFO "VGA Bios: %p @ %d\n",
+	printk( KERN_INFO "VGA Bios: %p @ %lu\n",
 		&vgabios_start,
 		&vgabios_end - &vgabios_start
 	);