X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=linux_module%2Fpalacios-stubs.c;fp=linux_module%2Fpalacios-stubs.c;h=039c1708ee0b84c21bf0f39eb3494d7d1e253a2f;hp=78149875f052942c5188af480f070c8f5e387572;hb=c8b23e99efde3aa5a2c26d1b8e9bc7dc914e6113;hpb=4e43946f01f687361197dc9571b7df02ae20de30

diff --git a/linux_module/palacios-stubs.c b/linux_module/palacios-stubs.c
index 7814987..039c170 100644
--- a/linux_module/palacios-stubs.c
+++ b/linux_module/palacios-stubs.c
@@ -9,6 +9,11 @@
 #include <asm/irq_vectors.h>
 #include <asm/io.h>
 #include <asm/thread_info.h>
+#include <asm/i387.h>
+#include <linux/version.h>
+#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,7,0)
+#include <asm/fpu-internal.h>
+#endif
 
 #include <linux/init.h>
 #include <linux/module.h>
@@ -420,6 +425,7 @@ static int lnx_thread_target(void * arg) {
     // We are a kernel thread that needs FPU save/restore state
     // vcores definitely need this, all the other threads get it too, 
     // but they just won't use it
+
     fpu_alloc(&(current->thread.fpu));
 #endif