1.1 --- a/xen/drivers/char/console.c	Tue Nov 25 11:17:57 2008 +0000
     1.2 +++ b/xen/drivers/char/console.c	Wed Nov 26 11:07:44 2008 +0000
     1.3 @@ -927,7 +927,7 @@ void panic(const char *fmt, ...)
     1.4      console_start_sync();
     1.5      printk("\n****************************************\n");
     1.6      printk("Panic on CPU %d:\n", smp_processor_id());
     1.7 -    printk(buf);
     1.8 +    printk("%s", buf);
     1.9      printk("****************************************\n\n");
    1.10      if ( opt_noreboot )
    1.11          printk("Manual reset required ('noreboot' specified)\n");