Ian Lepore a0e04ab3ff 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.
2014-01-09 18:51:57 +00:00
..
2013-11-23 00:28:18 +00:00
2014-01-07 11:43:51 +00:00
2013-12-17 07:47:27 +00:00
2014-01-01 22:51:19 +00:00
2013-11-29 20:14:26 +00:00
2014-01-07 13:09:35 +00:00
2013-11-11 13:19:55 +00:00
2013-12-05 21:58:02 +00:00
2013-12-30 08:36:17 +00:00