diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-06-24 14:09:12 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-06-24 14:09:12 +0200 |
| commit | 596cf585ea8dc278d88e0652dffbacbc75de04c6 (patch) | |
| tree | 147bad178f15a7e7a91d847f39d501ecc1051821 /src/export.rs | |
| parent | 4e51bb68b976c6bb6a9a989dc560d2a8123a84ca (diff) | |
Monotonic trait is safe; add MultiCore trait
Diffstat (limited to 'src/export.rs')
| -rw-r--r-- | src/export.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/export.rs b/src/export.rs index 7646e3c..572068c 100644 --- a/src/export.rs +++ b/src/export.rs @@ -108,6 +108,13 @@ where { } +#[inline(always)] +pub fn assert_multicore<T>() +where + T: super::MultiCore, +{ +} + #[cfg(armv7m)] #[inline(always)] pub unsafe fn lock<T, R>( |