Synopsis: [reboot] SMP problem State-Changed-From-To: open->feedback State-Changed-By: gavin State-Changed-When: Fri Jun 22 13:36:43 UTC 2007 State-Changed-Why: To submitter: Are you still seeing this issue with more recent versions of FreeBSD? http://www.freebsd.org/cgi/query-pr.cgi?pr=80283