Clarify exactly when locking can fail
jonas-schievink opened this issue · 0 comments
jonas-schievink commented
Failure can only happen if one of the two parties is called from a different priority level. If the lock is used by interrupts with the same priority, locking becomes infallible.