On Fri, Apr 07, 2023 at 09:36:30PM +0100, Matthew Wilcox wrote: > Or this: > > /* > * Unlike mutexes, binary semaphores do not have an owner, so up() can > * be called in a different thread from the one which called down(). > * It is also safe to call down_trylock() and up() from interrupt > * context. > */ I went with that. Thanks for helping me paint this shed! Luis