mirror of
https://github.com/apache/nuttx.git
synced 2026-05-16 05:27:45 +08:00
ea020a4eae
The holder list can be modified via interrupt so using addrenv_select is not safe. Access the semaphore by mapping it into kernel virtual memory instead.