[Xen-changelog] [xen-unstable] x86: Couple of small cleanups after cpuid faulting patch.

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir@xxxxxxx>
# Date 1309762652 -3600
# Node ID 7e4404a8f5f9bc111a80f15a2bce35378b39f2f1
# Parent  122fcf37c59685def3ba102471b76bc0432246d7
x86: Couple of small cleanups after cpuid faulting patch.

Signed-off-by: Keir Fraser <keir@xxxxxxx>
---


diff -r 122fcf37c596 -r 7e4404a8f5f9 xen/arch/x86/cpu/cpu.h
--- a/xen/arch/x86/cpu/cpu.h    Sat Jul 02 09:08:27 2011 +0100
+++ b/xen/arch/x86/cpu/cpu.h    Mon Jul 04 07:57:32 2011 +0100
@@ -30,4 +30,3 @@
 extern void generic_identify(struct cpuinfo_x86 * c);
 
 extern void early_intel_workaround(struct cpuinfo_x86 *c);
-extern void intel_cpuid_faulting_flip(unsigned int enable);
diff -r 122fcf37c596 -r 7e4404a8f5f9 xen/arch/x86/cpu/intel.c
--- a/xen/arch/x86/cpu/intel.c  Sat Jul 02 09:08:27 2011 +0100
+++ b/xen/arch/x86/cpu/intel.c  Mon Jul 04 07:57:32 2011 +0100
@@ -27,7 +27,7 @@
 
 static unsigned int probe_intel_cpuid_faulting(void)
 {
-       uint32_t x;
+       uint64_t x;
        return !rdmsr_safe(MSR_INTEL_PLATFORM_INFO, x) && (x & (1u<<31));
 }
 

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