X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finit%2Fmain.c;h=ea9c09b8e73db2d50dbe1adc96b93fe06406b0a0;hb=33e59b4f73c24aa953e12d9427dafac88b19cfaa;hp=e2357215c5146017a7ea66a95a2c76d14c5c4e99;hpb=5393fbd7f71cd1b080169e8c36329191e380fd41;p=palacios-OLD.git

diff --git a/kitten/init/main.c b/kitten/init/main.c
index e235721..ea9c09b 100644
--- a/kitten/init/main.c
+++ b/kitten/init/main.c
@@ -132,7 +132,7 @@ start_kernel()
   Init_V3(&os_hooks, &v3_ops);
 	printk( KERN_INFO "Rombios: %p @ %d\n",
 		&rombios_start,
-		&rombios_end - &rombios_start,
+		&rombios_end - &rombios_start
 	);
 
 	printk( KERN_INFO "VGA Bios: %p @ %d\n",