diff --git a/proto/vcpu/vcpu.c b/proto/vcpu/vcpu.c
index 140f3550783089318dc29e1cbac7b7c7103cd256..8f367a4b47af25d51c5b07958fbdce3a5314d82d 100644
--- a/proto/vcpu/vcpu.c
+++ b/proto/vcpu/vcpu.c
@@ -1,6 +1,7 @@
 #include "vcpu.h"
 #include "../debug/debug.h"
 #include "../region/vxmon.h"
+#include "linux/string.h"
 #include <linux/errno.h>
 
 int init_vcpu(struct vcpu_t *vcpu, struct vmxon_t *vmxon) {
diff --git a/proto/vcpu/vcpu.h b/proto/vcpu/vcpu.h
index 0c17cc06e722d4388981486bf1359a1e2367322e..a61e34dc079cf8e14cec14bc9c7f745120f20bf0 100644
--- a/proto/vcpu/vcpu.h
+++ b/proto/vcpu/vcpu.h
@@ -9,4 +9,4 @@ struct vcpu_t {
      * point*/
 };
 
-int init_vcpu(struct vcpu_t *vcpu);
+int init_vcpu(struct vcpu_t *vcpu, struct vmxon_t *vmxon);