Sync with Xen public interface headers.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/include/xen/interface/trace.h b/include/xen/interface/trace.h
index bc34abe3ce1772173b39b40a73beb358d8dfb180..33654e458e60f5a34802bea39d234be1b5f1d14a 100644 (file)
--- a/include/xen/interface/trace.h
+++ b/include/xen/interface/trace.h
@@ -88,6 +88,7 @@
 #define TRC_HVM_VMMCALL         (TRC_HVM_HANDLER + 0x12)
 #define TRC_HVM_HLT             (TRC_HVM_HANDLER + 0x13)
 #define TRC_HVM_INVLPG          (TRC_HVM_HANDLER + 0x14)
+#define TRC_HVM_MCE             (TRC_HVM_HANDLER + 0x15)
 
 /* This structure represents a single trace buffer record. */
 struct t_rec {