[Xen-devel] "x86-64: EFI boot code" breaks 32-bit build

cc1: warnings being treated as errors
mpparse.c: In function 'efi_check_config':
mpparse.c:669: error: format '%08llx' expects type 'long long unsigned int', 
but argument 2 has type 'long unsigned int'

In xen/include/xen/efi.h:
23616:     unsigned long mps;          /* MPS table */

In xen/arch/x86/mpparse.c (line 669):
23616:          printk(KERN_INFO "SMP MP-table at %08"PRIx64"\n", efi.mps);

Should mps be uint64_t ?  What about the other fields in struct efi ?

Ian.

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

<Prev in Thread]	Current Thread	[Next in Thread>
[Xen-devel] "x86-64: EFI boot code" breaks 32-bit build, Ian Jackson <= [Xen-devel] Re: "x86-64: EFI boot code" breaks 32-bit build, Jan Beulich

Previous by Date:

Re: [Xen-devel] [PATCH 0 of 5] v2: Nested-p2m cleanups and locking changes, Christoph Egger

Next by Date:

Re: [Xen-devel] Re: [PATCH V5 2/3] libxl: Introduce libxl_internal_types.idl., Ian Jackson

Previous by Thread:

Naming schemes for different kinds of virtualization (was Re: [Xen-devel] HYBRID: PV in HVM container), George Dunlap

Next by Thread:

[Xen-devel] Re: "x86-64: EFI boot code" breaks 32-bit build, Jan Beulich

Indexes:

[Date] [Thread] [Top] [All Lists]