commit 1a87b0f7abdf3a7924972c636506628c5940525a
author Kent McLeod <Kent.Mcleod@data61.csiro.au> Thu Aug 01 16:31:10 2019 +1000
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> Wed Aug 21 16:22:32 2019 +1000
tree a53a9994008c0a16076140b5a63ec9c19d3ff58d
parent 74188d2def64266ccf611267bd3c054141fc2808

sem-bare.h: Use seL4_WaitWithMRs syscall for mcs

This syscall doesn't need a reply cap to be set on mcs and can work
without an IPC buffer setup.

libsel4sync/include/sync/sem-bare.h

diff --git a/libsel4sync/include/sync/sem-bare.h b/libsel4sync/include/sync/sem-bare.h
index a635fbd..e0d7ef7 100644
--- a/libsel4sync/include/sync/sem-bare.h
+++ b/libsel4sync/include/sync/sem-bare.h
@@ -41,14 +41,18 @@
     if (oldval <= 0) {
 #ifdef CONFIG_ARCH_IA32
 #ifdef CONFIG_KERNEL_RT
-        seL4_RecvWithMRs(ep, NULL, NULL);
+        seL4_WaitWithMRs(ep, NULL, NULL);
 #else
         seL4_RecvWithMRs(ep, NULL, NULL, NULL);
 #endif /* CONFIG_KERNEL_RT */
 #else // all other platforms have 4 mrs
-
+#ifdef CONFIG_KERNEL_RT
+        seL4_WaitWithMRs(ep, NULL, NULL, NULL, NULL, NULL);
+#else
         seL4_RecvWithMRs(ep, NULL, NULL, NULL, NULL, NULL);
 #endif
+
+#endif
         /* Even though we performed an acquire barrier during the atomic
          * decrement we did not actually have the lock yet, so we have
          * to do another one now */