|
|
|
|
|
|
|
|
|
|
xen-devel
[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 <=
|
|
|
|
|