nathanw cc1db07645 Just use PAGE_SHIFT from <machine/vmparam.h> instead of going through
hoops to read and cache the value from the crash dump header.
2003-04-09 22:46:39 +00:00
..
2003-04-08 21:19:15 +00:00