add missed header file

[palacios.git] / linux_module / palacios.c

diff --git a/linux_module/palacios.c b/linux_module/palacios.c
index fc64360..b59f2fb 100644 (file)
--- a/linux_module/palacios.c
+++ b/linux_module/palacios.c
@@ -14,7 +14,6 @@
 #include <linux/kthread.h>
 #include <asm/uaccess.h>
 #include <linux/smp.h>
-#include <linux/smp_lock.h>
 
 #include <palacios/vmm.h>
 #include <palacios/vmm_host_events.h>
@@ -158,11 +157,9 @@ static int lnx_thread_target(void * arg) {
     struct lnx_thread_arg * thread_info = (struct lnx_thread_arg *)arg;
 
     /*
-      lock_kernel();
       printk("Daemonizing new Palacios thread (name=%s)\n", thread_info->name);
 
       daemonize(thread_info->name);
-      unlock_kernel();
       allow_signal(SIGKILL);
     */