K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-01-09T18:51:57.922970Z
K 7
svn:log
V 287
Add a function to print the contents of the static device mapping table,
and invoke it for bootverbose logging, and also from a new DDB command,
"show devmap".  Also tweak the format string for the bootverbose output
of physical memory chunks to get the leading zeros in the hex values.

END