From c1dae4d8b0e1e04db821f4e7cd7bee57278eb5f1 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Tue, 17 Jan 2017 15:13:28 +0900
Subject: [PATCH] mmap(): no physical memory pre-allocation for Intel 128MB
 mapping

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

diff --git a/kernel/syscall.c b/kernel/syscall.c
index 8c2812ef..31449c91 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -1232,14 +1232,13 @@ do_mmap(const intptr_t addr0, const size_t len0, const int prot,
 		populated_mapping = 1;
 	}
 
-#if 0
 	/* XXX: Intel MPI 128MB mapping.. */
 	if (len == 134217728) {
-		kprintf("%s: 128MB mapping -> no prefault\n",
+		dkprintf("%s: %ld bytes mapping -> no prefault\n",
 			__FUNCTION__, len);
+		vrflags |= VR_DEMAND_PAGING;
 		populated_mapping = 0;
 	}
-#endif
 
 	if (!(prot & PROT_WRITE)) {
 		error = set_host_vma(addr, len, PROT_READ);