From 08f817a654a7371dd7e37facca06ba689d10da9c Mon Sep 17 00:00:00 2001
From: Dominique Martinet <dominique.martinet@cea.fr>
Date: Wed, 27 Feb 2019 13:19:31 +0900
Subject: [PATCH] page fault: clear writable bit for non-dirtying access to
 shared ranges

Change-Id: I3f3212b2aac79587f04450dfbdee9cb8a56bee04
Fujitsu: POSTK_DEBUG_ARCH_DEP_21
---
 kernel/process.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/kernel/process.c b/kernel/process.c
index f085c8b3..816c0318 100644
--- a/kernel/process.c
+++ b/kernel/process.c
@@ -2014,7 +2014,6 @@ retry:
 			page = phys_to_page(phys);
 		}
 	}
-#ifdef POSTK_DEBUG_ARCH_DEP_21
 	else if (!(range->flag & VR_PRIVATE)) { /*VR_SHARED*/
 		if (!(attr & PTATTR_DIRTY)) {
 			if (!(range->flag & VR_STACK)) {
@@ -2022,7 +2021,6 @@ retry:
 			}
 		}
 	}
-#endif /*POSTK_DEBUG_ARCH_DEP_21*/
 
 	/*****/
 	if (ptep && !pgsize_is_contiguous(pgsize)) {