commit 59acc870d022eb1bde06518c1bb59a42b2361378
author Curtis Millar <curtis.millar@data61.csiro.au> Mon Oct 14 13:56:39 2019 +1100
committer Curtis Millar <curtis.millar@data61.csiro.au> Mon Oct 14 14:36:47 2019 +1100
tree 56cedb9dd9c2aa4a034d7dd8f9aad83ca785c842
parent a02fbd08635e8d6295c23ac4967e376dd8dcef6e

mcs: add api method for SC consumed

This adds an API method for calling the seL4_SchedContext_Consumed
operation regardless of whether the CONFIG_KERNEL_MCS is set.

libsel4utils/include/sel4utils/mcs_api.h

diff --git a/libsel4utils/include/sel4utils/mcs_api.h b/libsel4utils/include/sel4utils/mcs_api.h
index c79388c..1ce3186 100644
--- a/libsel4utils/include/sel4utils/mcs_api.h
+++ b/libsel4utils/include/sel4utils/mcs_api.h
@@ -170,6 +170,18 @@
 #endif
 }
 
+static inline seL4_SchedContext_Consumed_t api_sc_consumed(UNUSED seL4_CPtr sc)
+{
+    if (!config_set(CONFIG_KERNEL_MCS)) {
+        return (seL4_SchedContext_Consumed_t) {
+            .error = (seL4_Error) - ENOSYS
+        };
+    }
+#ifdef CONFIG_KERNEL_MCS
+    return seL4_SchedContext_Consumed(sc);
+#endif
+}
+
 static inline seL4_Error api_sched_ctrl_configure(UNUSED seL4_CPtr sched_ctrl, UNUSED seL4_CPtr sc,
                                                   UNUSED uint64_t budget, UNUSED uint64_t period,
                                                   UNUSED seL4_Word refills, UNUSED seL4_Word badge)