xen/arch/x86/include/asm/pci.h | 2 +- xen/arch/x86/include/asm/smp.h | 2 +- xen/arch/x86/include/asm/vpmu.h | 2 +- xen/arch/x86/physdev.c | 6 +++--- xen/arch/x86/platform_hypercall.c | 6 +++--- xen/arch/x86/sysctl.c | 2 +- xen/arch/x86/x86_64/mmconfig.h | 4 ++-- xen/drivers/passthrough/x86/hvm.c | 4 ++-- 8 files changed, 14 insertions(+), 14 deletions(-)