https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=196542

--- Comment #14 from John Baldwin <j...@freebsd.org> ---
(In reply to Jonas Keidel from comment #12)

To be clear, does the machine hang at the image you provided?  If so, it
appears to be hung in ipi_startup?

Can you instrument ipi_startup?  The calls in there to lapic_ipi_wait(-1) can
potentially hang forever.  One thing you can do is to change the '-1's to
1000000 and seeing if the machine boots.  It seems that Linux does this (it
just gives up waiting if the ICR bit doesn't clear).

-- 
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
freebsd-bugs@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "freebsd-bugs-unsubscr...@freebsd.org"

Reply via email to