Marcus Watts wrote: /11/ many warnings about passing pointers to %x fixed by casting to int. Not a perfect fix, but something. Can we change these to %p? Are there platforms that don't have %p in the kernel printf? /3/ kdump still annoys me. Me too. I don't even build this on bsd.