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

--- Comment #63 from Konstantin Belousov <k...@freebsd.org> ---
(In reply to Konstantin Belousov from comment #62)
Try this.

diff --git a/sys/amd64/amd64/cpu_switch.S b/sys/amd64/amd64/cpu_switch.S
index 25e3a592171..ef70eefdf37 100644
--- a/sys/amd64/amd64/cpu_switch.S
+++ b/sys/amd64/amd64/cpu_switch.S
@@ -155,6 +155,7 @@ ctx_switch_xsave:
        movq    %rdx,%r15
        movq    %rsi,%rdi
        callq   pmap_activate_sw
+       mfence
        SETLK   %r15,TD_LOCK(%r13)              /* Release the old thread */
 sw1:
        movq    TD_PCB(%r12),%r8

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

Reply via email to