1.1 --- a/xen/arch/ia64/xen/xensetup.c	Mon Aug 28 13:30:04 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/xensetup.c	Mon Aug 28 13:31:35 2006 -0600
     1.3 @@ -287,6 +287,7 @@ void start_kernel(void)
     1.4          ia64_boot_param->initrd_size = 0;
     1.5      }
     1.6  
     1.7 +    printk("Xen command line: %s\n", saved_command_line);
     1.8      /* xenheap should be in same TR-covered range with xen image */
     1.9      xenheap_phys_end = xen_pstart + xenheap_size;
    1.10      printk("xen image pstart: 0x%lx, xenheap pend: 0x%lx\n",