X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finit%2Fmain.c;h=34ab6f9566efdfb9c98f4a8649f3e5c8e2ebeff1;hb=e95bdc48b03086dd78b9dde7d3299312fa31c89c;hp=e2357215c5146017a7ea66a95a2c76d14c5c4e99;hpb=ad9eac2585dced281946bb716e3c2d96584a25fa;p=palacios-OLD.git

diff --git a/kitten/init/main.c b/kitten/init/main.c
index e235721..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,
+		&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
 	);