aboutsummaryrefslogtreecommitdiff
path: root/src/export.rs
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2019-06-24 14:09:12 +0200
committerGravatar Jorge Aparicio <jorge@japaric.io> 2019-06-24 14:09:12 +0200
commit596cf585ea8dc278d88e0652dffbacbc75de04c6 (patch)
tree147bad178f15a7e7a91d847f39d501ecc1051821 /src/export.rs
parent4e51bb68b976c6bb6a9a989dc560d2a8123a84ca (diff)
downloadrtic-596cf585ea8dc278d88e0652dffbacbc75de04c6.tar.gz
rtic-596cf585ea8dc278d88e0652dffbacbc75de04c6.tar.zst
rtic-596cf585ea8dc278d88e0652dffbacbc75de04c6.zip
Monotonic trait is safe; add MultiCore trait
Diffstat (limited to 'src/export.rs')
-rw-r--r--src/export.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/export.rs b/src/export.rs
index 7646e3c5..572068ce 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>(