[Added yougari@ and davidch@ to the To:/Cc: list]
I confirmed that my issue reported on -current@ is due to the bxe(4)
driver (BCM57711). If it is disabled, shutdown works fine without
NMI.
Also, I received several reports about the same box that NMI occurred
even on bge(4) (BCM5717) driver
> http://svnweb.freebsd.org/base?view=revision&revision=236216
>
>
Ok, confirmed after ~50 reboots.
There is a timing problem in this revision that I don't fully
understand. Adding printf's inside bce_reset() will cause the existing
code to succeed, and sometimes the existing code in this r