diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-08-24 01:54:27 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-08-24 01:54:27 +0200 |
| commit | 91a9168a32099bba91709543213322dc2eb1afac (patch) | |
| tree | be1ec5bcf454591395661814f9dc71b970617828 /embassy-sync/src/waitqueue/multi_waker.rs | |
| parent | 02562ed87d4c5cd8fb3f5f41643607ea422a47ac (diff) | |
nrf/ppi: fix unsoundness due to task/event ptrs being public.
Diffstat (limited to 'embassy-sync/src/waitqueue/multi_waker.rs')
0 files changed, 0 insertions, 0 deletions