From dc9a1bc30c97bc08babfe3a1622ec73b51f0f1de Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Tue, 31 Mar 2009 14:26:24 +0000 Subject: [PATCH] increment nph when printing physical regions; suggested by Guanqun Lu --- servers/vm/region.c | 1 + 1 file changed, 1 insertion(+) diff --git a/servers/vm/region.c b/servers/vm/region.c index 0784b9db8..cf38a3dff 100644 --- 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); } -- 2.44.0