Re: vmmap replacement, please test

[Miod Vallat]

> In fact kernel_map itself is 0 when my machine stops. So the command 
> above also fails.

[...]

> ddb> x kernel_map
> kernel_map:     0

Use x/qx, you're on a 64-bit platform and this is a 64 bit pointer (of
which the upper 32 bits are zero).