diff --git a/executer/kernel/mcctrl/arch/x86_64/archdeps.c b/executer/kernel/mcctrl/arch/x86_64/archdeps.c
index 68775853..2cd88941 100644
--- a/executer/kernel/mcctrl/arch/x86_64/archdeps.c
+++ b/executer/kernel/mcctrl/arch/x86_64/archdeps.c
@@ -1,6 +1,7 @@
 /* archdeps.c COPYRIGHT FUJITSU LIMITED 2016 */
 #include <linux/version.h>
 #include <linux/kallsyms.h>
+#include <linux/uaccess.h>
 #include "../../../config.h"
 #include "../../mcctrl.h"
 
diff --git a/kernel/pager.c b/kernel/pager.c
index b06c7f02..f5373471 100644
--- a/kernel/pager.c
+++ b/kernel/pager.c
@@ -725,7 +725,7 @@ do_pageout(char *fname, void *buf, size_t size, int flag)
 		return cc;
 	}
 	si->udata_buf = myalloc(si, UDATA_BUFSIZE);
-	si->swapfname = kmalloc(strlen(fname) + 1, IHK_MC_AP_NOWAIT);
+	si->swapfname = kmalloc(strlen_user(fname) + 1, IHK_MC_AP_NOWAIT);
 	if (si->swapfname == NULL) {
 		kfree(si);
 		ekprintf("do_pageout: Cannot allocate working memory in kmalloc\n");