Minix/minix
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

don't force vm to print to serial; don't kill processes when they

Browse Source 
have 'bad' memory ranges (as it's the requestor's fault)
This commit is contained in:
Ben Gras
2008-12-11 17:36:33 +00:00
parent ef812af5a6
commit e4e3995fb0
3 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
servers/vm/pagefaults.c
+2 -9
View File
@@ -159,20 +159,13 @@ PUBLIC void handle_memory(void)
}
if(r != OK) {
printf("VM: SIGSEGV %d, memory range not available\n",
printf("VM: memory range 0x%lx-0x%lx not available in %d\n",
arch_map2vir(vmp, mem), arch_map2vir(vmp, mem+len),
vmp->vm_endpoint);
if((s=sys_kill(vmp->vm_endpoint, SIGSEGV)) != OK)
vm_panic("sys_kill failed", s);
}
if(sys_vmctl(who, VMCTL_MEMREQ_REPLY, r) != OK)
vm_panic("handle_memory: sys_vmctl failed", r);
if(r != OK) {
printf("VM: killing %d\n", vmp->vm_endpoint);
if((s=sys_kill(vmp->vm_endpoint, SIGSEGV)) != OK)
vm_panic("sys_kill failed", s);
}
}
}