1.1 --- a/xen/arch/ia64/xen/xensetup.c	Sun Oct 08 18:16:34 2006 -0600
     1.2 +++ b/xen/arch/ia64/xen/xensetup.c	Sun Oct 08 18:21:32 2006 -0600
     1.3 @@ -186,8 +186,8 @@ efi_print(void)
     1.4  
     1.5      for (i = 0, p = efi_map_start; p < efi_map_end; ++i, p += efi_desc_size) {
     1.6          md = p;
     1.7 -        printk("mem%02u: type=%u, attr=0x%lx, range=[0x%016lx-0x%016lx) (%luMB)\n",
     1.8 -               i, md->type, md->attribute, md->phys_addr,
     1.9 +        printk("mem%02u: type=%2u, attr=0x%016lx, range=[0x%016lx-0x%016lx) "
    1.10 +               "(%luMB)\n", i, md->type, md->attribute, md->phys_addr,
    1.11                 md->phys_addr + (md->num_pages << EFI_PAGE_SHIFT),
    1.12                 md->num_pages >> (20 - EFI_PAGE_SHIFT));
    1.13      }