increment nph when printing physical regions; suggested by Guanqun Lu

diff --git a/servers/vm/region.c b/servers/vm/region.c
index 0784b9db857e84d9ad6da6e3208a0d71a9a76aae..cf38a3dff76715bfd7e4cedcab61807a13b3adba 100644 (file)
--- a/servers/vm/region.c
+++ b/servers/vm/region.c
@@ -71,6 +71,7 @@ struct vmproc *vmp;
                                vr->vaddr + ph->ph->offset + ph->ph->length,
                                ph->ph->refcount,
                                ph->ph->phys);
+                       nph++;
                }
                printf(" (phregions %d)\n", nph);
        }