vm: a bit more informative about failed pagefaults

Change-Id: I2b72dfb9291670cb837dfdb279f519892575d4a6

diff --git a/servers/vm/mem_anon.c b/servers/vm/mem_anon.c
index acd346d3c2695abede614633cb63ca5251a85d66..9adc52419082bc523601add791385e4ecc280a73 100644 (file)
--- 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 53611931d09e37d1c6494b2d6ecd66a1ce88ea88..d98caf5cb5f8f83e343cd1438f5ce355cbef319d 100644 (file)
--- 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;