From 1cc6f4295d87be4c2f87259c3422ac052f32d34b Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Fri, 31 May 2013 17:31:55 +0000 Subject: [PATCH] vm: handle disappearing process case Change-Id: Id96759883e4cdb175c79dcef7ef5ff254612101f --- servers/vm/pagefaults.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/servers/vm/pagefaults.c b/servers/vm/pagefaults.c index 46c254777..c945f4857 100644 --- a/servers/vm/pagefaults.c +++ b/servers/vm/pagefaults.c @@ -147,6 +147,8 @@ static void pf_cont(struct vmproc *vmp, message *m, void *arg, void *statearg) { struct pf_state *state = statearg; + int p; + if(vm_isokendpt(state->ep, &p) != OK) return; /* signal */ handle_pagefault(state->ep, state->vaddr, state->err, 1); } -- 2.44.0