After posting about some very interesting entries on how to debug kernel problems in Solaris 10, here are some keywords which may be needed while looking for help on FreeBSD mailing lists. This is just a quick memo, so please read the excellent Kernel Debugging chapter of the FreeBSD Developers's Handbook.
At the debugger prompt, using DDB at the system console:
db> where
db> show pcpu
db> show alllocks
db> ps
db> show lockedvnods
db> show lockedbufs
Good luck!