WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-changelog

[Xen-changelog] [IA64] acpi printf fix

# HG changeset patch
# User awilliam@xxxxxxxxxxx
# Node ID 5de0ee4ae76bcf70a08c063b5936fc6ffe2733b4
# Parent  062ab30ba4340c5f26b811be08f516b36bb5f43c
[IA64] acpi printf fix

fix printf format miss. %0xlx -> 0x%lx

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

diff -r 062ab30ba434 -r 5de0ee4ae76b xen/arch/ia64/xen/dom_fw.c
--- a/xen/arch/ia64/xen/dom_fw.c        Fri Feb 24 15:28:36 2006
+++ b/xen/arch/ia64/xen/dom_fw.c        Fri Feb 24 15:29:52 2006
@@ -730,7 +730,7 @@
                if (efi.mps) {
                        efi_tables[i].guid = MPS_TABLE_GUID;
                        efi_tables[i].table = __pa(efi.mps);
-                       printf(" MPS=%0xlx",efi_tables[i].table);
+                       printf(" MPS=0x%lx",efi_tables[i].table);
                        i++;
                }
 
@@ -739,25 +739,25 @@
                if (efi.acpi20) {
                        efi_tables[i].guid = ACPI_20_TABLE_GUID;
                        efi_tables[i].table = __pa(efi.acpi20);
-                       printf(" ACPI 2.0=%0xlx",efi_tables[i].table);
+                       printf(" ACPI 2.0=0x%lx",efi_tables[i].table);
                        i++;
                }
                if (efi.acpi) {
                        efi_tables[i].guid = ACPI_TABLE_GUID;
                        efi_tables[i].table = __pa(efi.acpi);
-                       printf(" ACPI=%0xlx",efi_tables[i].table);
+                       printf(" ACPI=0x%lx",efi_tables[i].table);
                        i++;
                }
                if (efi.smbios) {
                        efi_tables[i].guid = SMBIOS_TABLE_GUID;
                        efi_tables[i].table = __pa(efi.smbios);
-                       printf(" SMBIOS=%0xlx",efi_tables[i].table);
+                       printf(" SMBIOS=0x%lx",efi_tables[i].table);
                        i++;
                }
                if (efi.hcdp) {
                        efi_tables[i].guid = HCDP_TABLE_GUID;
                        efi_tables[i].table = __pa(efi.hcdp);
-                       printf(" HCDP=%0xlx",efi_tables[i].table);
+                       printf(" HCDP=0x%lx",efi_tables[i].table);
                        i++;
                }
                printf("\n");
@@ -774,7 +774,7 @@
 
                        efi_tables[i].guid = ACPI_20_TABLE_GUID;
                        efi_tables[i].table = dom_pa(acpi_tables);
-                       printf(" ACPI 2.0=%0xlx",efi_tables[i].table);
+                       printf(" ACPI 2.0=0x%lx",efi_tables[i].table);
                        i++;
                }
        }
@@ -870,7 +870,7 @@
                bp->initrd_start = d->arch.initrd_start;
                bp->initrd_size  = d->arch.initrd_len;
        }
-       printf(" initrd start %0xlx", bp->initrd_start);
-       printf(" initrd size %0xlx", bp->initrd_size);
+       printf(" initrd start 0x%lx", bp->initrd_start);
+       printf(" initrd size 0x%lx\n", bp->initrd_size);
        return bp;
 }

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog

<Prev in Thread] Current Thread [Next in Thread>
  • [Xen-changelog] [IA64] acpi printf fix, Xen patchbot -unstable <=