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

[Ian Jackson <Ian.Jackson@xxxxxxxxxxxxx>]

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