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"