https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=259218
--- Comment #5 from Konstantin Belousov <k...@freebsd.org> --- You do not need neither kernel debugger nor dump. Load your kernel.full in gdb, then do "list *random_nehemiah_read+0x60'. -- You are receiving this mail because: You are the assignee for the bug.