Toggle preemption while faulting pages

Change-Id: I74201061bb3e7c7c4032e3884658ace87cb85948
2020-04-20 20:30:18 +09:00
parent 3e254c06bf
commit d370e9241f
2 changed files with 4 additions and 0 deletions
--- a/kernel/host.c
+++ b/kernel/host.c
@@ -718,9 +718,11 @@ static int syscall_packet_handler(struct ihk_ikc_channel_desc *c,
 		dkprintf("remote page fault,pid=%d,va=%lx,reason=%x\n",
 			 thread->proc->pid, packet->fault_address,
 			 packet->fault_reason|PF_POPULATE);
+		preempt_disable();
 		pckt.err = page_fault_process_vm(thread->vm,
 					(void *)packet->fault_address,
 					packet->fault_reason|PF_POPULATE);
+		preempt_enable();

 #ifdef PROFILE_ENABLE
 		if (thread->profile) {