Re: sched lock/unlock issue on rp2350

[Gregory Nutt]

The lockcount is thread-specific data and should not require any locking since 
it is only accessed by a single thread (not true of other SMP lock-related 
data).  This looks like a good clue, but I think does not address the heart of 
the issue.