Re: if_txtimer API to replace (*if_watchdog)()

[Jason Thorpe <thorpej%me.com@localhost>]

> On Jan 23, 2020, at 8:10 AM, Andrew Doran <ad%netbsd.org@localhost> wrote:
> 
> With spin mutexes you can only do a positive check, i.e.  "I know I should
> own this right now and want to check that" because for the negative case
> some other CPU could own it, or mutex_owned() could be lying to you because
> the kernel was compiled without options MULTIPROCESSOR.

Hm, it'd be nice if we could record this somehow to assert that "it's this CPU that has it".

-- thorpej