On 22.05.15 at 01:16, julien.gr...@citrix.com wrote:
--- a/xen/arch/x86/apic.c
+++ b/xen/arch/x86/apic.c
@@ -992,7 +992,7 @@ void __init init_apic_mappings(void)
apic_phys = mp_lapic_addr;
set_fixmap_nocache(FIX_APIC_BASE, apic_phys);
-apic_printk(APIC_VERBOSE, mapped
Hi Jan,
On 22/05/2015 07:53, Jan Beulich wrote:
On 22.05.15 at 01:16, julien.gr...@citrix.com wrote:
--- a/xen/arch/x86/apic.c
+++ b/xen/arch/x86/apic.c
@@ -992,7 +992,7 @@ void __init init_apic_mappings(void)
apic_phys = mp_lapic_addr;
set_fixmap_nocache(FIX_APIC_BASE,
On 32bit, GB(4) doesn't fit on an unsigned long.
Alos, fix a couple of printf format in x86 which breaks after using
unsigned long long.
Signed-off-by: Julien Grall julien.gr...@citrix.com
---
xen/arch/x86/apic.c | 2 +-
xen/arch/x86/io_apic.c | 2 +-
xen/include/xen/config.h | 2 +-
3