On Wed, May 18, 2011 at 08:08:29PM +0000, Miod Vallat wrote: > > 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).
ddb> x/qx kernel_map kernel_map: 1856040 ok so it's not 0. But then there seem to be issues in the implementation of '*' in ddb since "show map /f *kernel_map" fails with addr=0 Or I'm stupid. -- Matthieu Herrb