https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=277559
--- Comment #8 from Andrew Turner <[email protected]> --- It looks like the issue is due to the tlbi in handle_hyp_init having insufficient barriers around it. I have a fix I'm testing that seems to fix the issue. -- You are receiving this mail because: You are the assignee for the bug.
