# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Date 1160119878 -32400
# Node ID 16e6a40851945ec162e2846fc3862ad5c4d5c910
# Parent  8411f8022e4349b2bc0eb4ef6ffe5ac63cf4e4a3
make efi_print()'s output more readable.
PATCHNAME: pretty_efi_print

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 8411f8022e43 -r 16e6a4085194 xen/arch/ia64/xen/xensetup.c
--- a/xen/arch/ia64/xen/xensetup.c	Fri Oct 06 16:29:23 2006 +0900
+++ b/xen/arch/ia64/xen/xensetup.c	Fri Oct 06 16:31:18 2006 +0900
@@ -186,7 +186,7 @@ efi_print(void)
 
     for (i = 0, p = efi_map_start; p < efi_map_end; ++i, p += efi_desc_size) {
         md = p;
-        printk("mem%02u: type=%u, attr=0x%lx, range=[0x%016lx-0x%016lx) (%luMB)\n",
+        printk("mem%02u: type=%2u, attr=0x%016lx, range=[0x%016lx-0x%016lx) (%luMB)\n",
                i, md->type, md->attribute, md->phys_addr,
                md->phys_addr + (md->num_pages << EFI_PAGE_SHIFT),
                md->num_pages >> (20 - EFI_PAGE_SHIFT));