From 9b55b6893440f6ee850e4f7915b49582ae6e8456 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@riken.jp>
Date: Thu, 26 Sep 2019 12:15:52 +0900
Subject: [PATCH] Allow other threads to run while waiting for I/O in page
 faults

Change-Id: I51e847a02a698b0ecf1e356d51599aa1c9400b15
---
 kernel/process.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/process.c b/kernel/process.c
index 16247269..617b2aef 100644
--- a/kernel/process.c
+++ b/kernel/process.c
@@ -2324,10 +2324,12 @@ int page_fault_process_vm(struct process_vm *fault_vm, void *fault_addr, uint64_
 			break;
 		}
 
+		preempt_enable();
 		if (thread->pgio_fp) {
 			(*thread->pgio_fp)(thread->pgio_arg);
 			thread->pgio_fp = NULL;
 		}
+		preempt_disable();
 	}
 
 	return error;