diff --git a/xen/arch/x86/cpu/cpu.h b/xen/arch/x86/cpu/cpu.h
index e4b0044983..a696859ff6 100644
--- a/xen/arch/x86/cpu/cpu.h
+++ b/xen/arch/x86/cpu/cpu.h
@@ -30,4 +30,3 @@ extern void display_cacheinfo(struct cpuinfo_x86 *c);
 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 --git a/xen/arch/x86/cpu/intel.c b/xen/arch/x86/cpu/intel.c
index 3eb06b3d8f..e5878759cb 100644
--- a/xen/arch/x86/cpu/intel.c
+++ b/xen/arch/x86/cpu/intel.c
@@ -27,7 +27,7 @@ struct movsl_mask movsl_mask __read_mostly;
 
 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));
 }