https://reviews.freebsd.org/P175 Kernel is trying to deref this pointer: (kgdb) p sx $1 = (struct sx *) 0xdeadc0dedeadd47e no time to debug right now, but complete kernel + dump + symbols available. -- Eitan Adler