vm: restore stacktrace on SIGSEGV

diff --git a/servers/vm/pagefaults.c b/servers/vm/pagefaults.c
index 97d9678da4d7290b2893b18df885a175acc06103..acc497562ac5493d3cd92d3f96d6f682fff79b7e 100644 (file)
--- a/servers/vm/pagefaults.c
+++ b/servers/vm/pagefaults.c
@@ -75,6 +75,7 @@ void do_pagefaults(message *m)
                        assert(PFERR_NOPAGE(err));
                        printf("VM: pagefault: SIGSEGV %d bad addr 0x%x; %s\n",
                                        ep, addr, pf_errstr(err));
+                       sys_sysctl_stacktrace(ep);
                }
                if((s=sys_kill(vmp->vm_endpoint, SIGSEGV)) != OK)
                        panic("sys_kill failed: %d", s);