https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=285813
--- Comment #5 from Peter Blok <peter.b...@bsd4all.org> --- I didn't realize that the owner was expected in the high order bits of v, but was 0 in this case. In other place where TD_IS_RUNNING was called, it tested if the owner was MTX_UNOWNED (v != MTX_UNOWNED && TD_IS_RUNNING(owner)) Could that be missing here? -- You are receiving this mail because: You are the assignee for the bug.