diff -r b28ae5f00553 xen/include/asm-x86/msr-index.h
--- a/xen/include/asm-x86/msr-index.h	Tue Oct 23 09:26:43 2007 +0100
+++ b/xen/include/asm-x86/msr-index.h	Tue Oct 23 17:03:09 2007 +0200
@@ -172,6 +172,11 @@
 /* MSR_K8_VM_CR bits: */
 #define _K8_VMCR_SVME_DISABLE		4
 #define K8_VMCR_SVME_DISABLE		(1 << _K8_VMCR_SVME_DISABLE)
+
+/* AMD Family10h machine check MSRs */
+#define MSR_F10_MC4_MISC1		0xC0000408
+#define MSR_F10_MC4_MISC2		0xC0000409
+#define MSR_F10_MC4_MISC3		0xC000040A
 
 /* K6 MSRs */
 #define MSR_K6_EFER			0xc0000080