From 596cf585ea8dc278d88e0652dffbacbc75de04c6 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Mon, 24 Jun 2019 14:09:12 +0200
Subject: Monotonic trait is safe; add MultiCore trait

---
 src/export.rs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/export.rs')

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>(
-- 
cgit v1.2.3