From 6118faffa99a70be702ab6d9f47c4fc69690b8ad Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Wed, 13 Jul 2016 18:05:20 +0900
Subject: [PATCH] pager_req_pfn(): use FAULT_FLAG_USER only if defined

---
 executer/kernel/mcctrl/syscall.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/executer/kernel/mcctrl/syscall.c b/executer/kernel/mcctrl/syscall.c
index e14ffb2b..1b028ae1 100644
--- a/executer/kernel/mcctrl/syscall.c
+++ b/executer/kernel/mcctrl/syscall.c
@@ -1361,7 +1361,9 @@ retry:
 		struct vm_area_struct *vma;
 		int fault;
 
+#if defined(FAULT_FLAG_USER)
 		flags |= FAULT_FLAG_USER;
+#endif
 
 		vma = find_vma(current->mm, va);
 		if (!vma || (va < vma->vm_start)) {