From 1f8265efbcbadf4dd72a099868f6adfedb6e1b66 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Sat, 7 Mar 2015 02:12:36 +0900
Subject: [PATCH] check _PAGE_PWT and _PAGE_PCD directly instead of
 _PAGE_CACHE_WC

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

diff --git a/executer/kernel/syscall.c b/executer/kernel/syscall.c
index 44c41b5e..2d53244d 100644
--- a/executer/kernel/syscall.c
+++ b/executer/kernel/syscall.c
@@ -1239,8 +1239,9 @@ static int pager_req_pfn(ihk_os_t os, uintptr_t handle, off_t off, uintptr_t ppf
 					pfn |= PFN_VALID | PFN_PRESENT;
 					
 					/* Check if mapping is write-combined */
-					if (pte_flags(*pte) & _PAGE_CACHE_WC) {
-						pfn |= _PAGE_CACHE_WC;
+					if ((pte_flags(*pte) & _PAGE_PWT) && 
+						!(pte_flags(*pte) & _PAGE_PCD)) {
+						pfn |= _PAGE_PWT;
 					}
 				}
 				pte_unmap(pte);