tsutsui 077be3445f Consistently use "%#"PRIxVADDR to print VA, not "0x%#"PRIxVADDR ...

or "0x%"PRIxVADDR etc.  Noticed by Y.Sugahara.

2011-10-11 12:25:56 +00:00

..

main.c

…

main.h

…

Makefile

…

pmap.1

…

pmap.c

…

pmap.h

…

TODO

…