On Wed, Nov 27, 2013 at 01:13:41AM -0800, Don Lewis wrote: > On 27 Nov, Konstantin Belousov wrote: > > On Wed, Nov 27, 2013 at 12:22:27AM -0800, Don Lewis wrote: > >> It took a while, but I just got another double fault, though this one is > >> somewhat different. This time it trapped in cpu_switch(), which > >> resulted in calls to > >> trap()->printf()->...->putchar()->msgbuf_addstr()->_mtx_lock_spin_flags() > >> where it trapped again. > >> > >> Sitting at DDB prompt ... > > > > Does 'show allpcpu' work ? > > Yup. For both CPUs, curthread == idlethread, both CPUs have the same > curpcb. What is "dynamic pcpu"? The values differ considerably between > the two CPUs.
Are you sure about curpcb being the same for two CPUs ? This is rather broken. The best would be to show the actual ddb output. Dynamic pcpu is in fact 'static' pcpu which is allocated for modules. It must be per-cpu, so different values are correct.
pgpnkUm4PkCO1.pgp
Description: PGP signature
