1.1 --- a/xen/arch/ia64/xen/dom_fw.c	Fri Feb 24 08:28:36 2006 -0700
     1.2 +++ b/xen/arch/ia64/xen/dom_fw.c	Fri Feb 24 08:29:52 2006 -0700
     1.3 @@ -730,7 +730,7 @@ dom_fw_init (struct domain *d, char *arg
     1.4  		if (efi.mps) {
     1.5  			efi_tables[i].guid = MPS_TABLE_GUID;
     1.6  			efi_tables[i].table = __pa(efi.mps);
     1.7 -			printf(" MPS=%0xlx",efi_tables[i].table);
     1.8 +			printf(" MPS=0x%lx",efi_tables[i].table);
     1.9  			i++;
    1.10  		}
    1.11  
    1.12 @@ -739,25 +739,25 @@ dom_fw_init (struct domain *d, char *arg
    1.13  		if (efi.acpi20) {
    1.14  			efi_tables[i].guid = ACPI_20_TABLE_GUID;
    1.15  			efi_tables[i].table = __pa(efi.acpi20);
    1.16 -			printf(" ACPI 2.0=%0xlx",efi_tables[i].table);
    1.17 +			printf(" ACPI 2.0=0x%lx",efi_tables[i].table);
    1.18  			i++;
    1.19  		}
    1.20  		if (efi.acpi) {
    1.21  			efi_tables[i].guid = ACPI_TABLE_GUID;
    1.22  			efi_tables[i].table = __pa(efi.acpi);
    1.23 -			printf(" ACPI=%0xlx",efi_tables[i].table);
    1.24 +			printf(" ACPI=0x%lx",efi_tables[i].table);
    1.25  			i++;
    1.26  		}
    1.27  		if (efi.smbios) {
    1.28  			efi_tables[i].guid = SMBIOS_TABLE_GUID;
    1.29  			efi_tables[i].table = __pa(efi.smbios);
    1.30 -			printf(" SMBIOS=%0xlx",efi_tables[i].table);
    1.31 +			printf(" SMBIOS=0x%lx",efi_tables[i].table);
    1.32  			i++;
    1.33  		}
    1.34  		if (efi.hcdp) {
    1.35  			efi_tables[i].guid = HCDP_TABLE_GUID;
    1.36  			efi_tables[i].table = __pa(efi.hcdp);
    1.37 -			printf(" HCDP=%0xlx",efi_tables[i].table);
    1.38 +			printf(" HCDP=0x%lx",efi_tables[i].table);
    1.39  			i++;
    1.40  		}
    1.41  		printf("\n");
    1.42 @@ -774,7 +774,7 @@ dom_fw_init (struct domain *d, char *arg
    1.43  
    1.44  			efi_tables[i].guid = ACPI_20_TABLE_GUID;
    1.45  			efi_tables[i].table = dom_pa(acpi_tables);
    1.46 -			printf(" ACPI 2.0=%0xlx",efi_tables[i].table);
    1.47 +			printf(" ACPI 2.0=0x%lx",efi_tables[i].table);
    1.48  			i++;
    1.49  		}
    1.50  	}
    1.51 @@ -870,7 +870,7 @@ dom_fw_init (struct domain *d, char *arg
    1.52  		bp->initrd_start = d->arch.initrd_start;
    1.53  		bp->initrd_size  = d->arch.initrd_len;
    1.54  	}
    1.55 -	printf(" initrd start %0xlx", bp->initrd_start);
    1.56 -	printf(" initrd size %0xlx", bp->initrd_size);
    1.57 +	printf(" initrd start 0x%lx", bp->initrd_start);
    1.58 +	printf(" initrd size 0x%lx\n", bp->initrd_size);
    1.59  	return bp;
    1.60  }