Context-based output infrastructure (V3_Print, etc) and modifications to use it

[palacios.git] / linux_module / mcheck.c

diff --git a/linux_module/mcheck.c b/linux_module/mcheck.c
index e357e94..9cdc04b 100644 (file)
--- a/linux_module/mcheck.c
+++ b/linux_module/mcheck.c
@@ -8,7 +8,7 @@
 #include <linux/debugfs.h>
 #include <linux/uaccess.h>
 
-#include <interfaces/vmm_mcheck.h>
+//#include <interfaces/vmm_mcheck.h>
 
 #include "palacios.h"
 #include "vm.h"
@@ -17,6 +17,12 @@
 #define SCRUBBER_MCE 0x1
 #define V3_VM_INJECT_SCRUBBER_MCE (10224+20)
 
+/* Missing the vmm_mcheck.h header file */
+
+struct v3_vm_info;
+
+int v3_mcheck_inject_scrubber_mce(struct v3_vm_info *info, int cpu, uint64_t dst);
+
 static int inject_mce(struct v3_guest * guest, unsigned int cmd, unsigned long arg,
                       void * priv_data)
 {