diff --git a/servers/vm/mem_anon.c b/servers/vm/mem_anon.c index acd346d3c..9adc52419 100644 --- a/servers/vm/mem_anon.c +++ b/servers/vm/mem_anon.c @@ -60,8 +60,10 @@ static int anon_pagefault(struct vmproc *vmp, struct vir_region *region, assert(ph->ph->refcount > 0); - if((new_page_cl = alloc_mem(1, allocflags)) == NO_MEM) + if((new_page_cl = alloc_mem(1, allocflags)) == NO_MEM) { + printf("anon_pagefault: out of memory\n"); return ENOMEM; + } new_page = CLICK2ABS(new_page_cl); /* Totally new block? Create it. */ diff --git a/servers/vm/region.c b/servers/vm/region.c index 53611931d..d98caf5cb 100644 --- a/servers/vm/region.c +++ b/servers/vm/region.c @@ -730,7 +730,7 @@ int len; } if(r != OK) { - printf("map_pf: memtype->ev_pagefault failed\n"); + printf("map_pf: pagefault in %s failed\n", ph->memtype->name); if(ph) pb_unreferenced(region, ph, 1); return r;