diff options
| author | Emil Fresk <emil.fresk@gmail.com> | 2023-01-08 21:33:44 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-01 00:33:29 +0100 |
| commit | 95e494968053a17ac05a0c1cec9d8b2c7d450296 (patch) | |
| tree | a6655592245aa0dc85c75d8a3bd37082a1766dc8 /src | |
| parent | c40c89bb4edc22c4a60d8677c660a9ab7eb47e92 (diff) | |
Start CI, disable docs building
Diffstat (limited to 'src')
| -rw-r--r-- | src/export.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/export.rs b/src/export.rs index 091cfb8..7beaf16 100644 --- a/src/export.rs +++ b/src/export.rs @@ -298,7 +298,7 @@ pub unsafe fn lock<T, R, const M: usize>( if ceiling >= 4 { // safe to manipulate outside critical section // execute closure under protection of raised system ceiling - + // safe to manipulate outside critical section interrupt::free(|_| f(&mut *ptr)) } else { |