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.

Reply via email to