https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=277559
--- Comment #5 from John F. Carr <j...@mit.edu> --- I moved the set of vbar_el2 after the set of vtcr_el2. The problem is not fixed but it is much better. I was able to load and unload the vmm module about 270 times before the system hung. -- You are receiving this mail because: You are the assignee for the bug.