commit 53582ab4c61de665ff7969f4f2502e1bb4b7902f
author Anna Lyons <Anna.Lyons@data61.csiro.au> Thu Jun 13 15:20:51 2019 +1000
committer Anna Lyons <Anna.Lyons@data61.csiro.au> Thu Jun 13 15:20:51 2019 +1000
tree 134f97f4e3014d94e9233eaf64010ea978fea1ec
parent 64f6ab7e66b523b208fe6727a1d1dadc05fa248f

trivial: style changed file

libsel4utils/include/sel4utils/mcs_api.h

diff --git a/libsel4utils/include/sel4utils/mcs_api.h b/libsel4utils/include/sel4utils/mcs_api.h
index 665c801..9eaac1a 100644
--- a/libsel4utils/include/sel4utils/mcs_api.h
+++ b/libsel4utils/include/sel4utils/mcs_api.h
@@ -66,7 +66,7 @@
 }
 
 static inline seL4_MessageInfo_t api_reply_recv(seL4_CPtr ep, seL4_MessageInfo_t msg, seL4_Word *badge,
-        UNUSED seL4_CPtr reply)
+                                                UNUSED seL4_CPtr reply)
 {
 #ifdef CONFIG_KERNEL_RT
     return seL4_ReplyRecv(ep, msg, badge, reply);
@@ -142,7 +142,7 @@
 static inline seL4_Error api_sc_bind(UNUSED seL4_CPtr sc, UNUSED seL4_CPtr tcb)
 {
     if (!config_set(CONFIG_KERNEL_RT)) {
-        return (seL4_Error) -ENOSYS;
+        return (seL4_Error) - ENOSYS;
     }
 #ifdef CONFIG_KERNEL_RT
     return seL4_SchedContext_Bind(sc, tcb);
@@ -152,7 +152,7 @@
 static inline seL4_Error api_sc_unbind_object(UNUSED seL4_CPtr sc, UNUSED seL4_CPtr tcb)
 {
     if (!config_set(CONFIG_KERNEL_RT)) {
-        return (seL4_Error) -ENOSYS;
+        return (seL4_Error) - ENOSYS;
     }
 #ifdef CONFIG_KERNEL_RT
     return seL4_SchedContext_UnbindObject(sc, tcb);
@@ -162,7 +162,7 @@
 static inline seL4_Error api_sc_unbind(UNUSED seL4_CPtr sc)
 {
     if (!config_set(CONFIG_KERNEL_RT)) {
-        return (seL4_Error) -ENOSYS;
+        return (seL4_Error) - ENOSYS;
     }
 #ifdef CONFIG_KERNEL_RT
     return seL4_SchedContext_Unbind(sc);
@@ -174,7 +174,7 @@
                                                   UNUSED seL4_Word refills, UNUSED seL4_Word badge)
 {
     if (!config_set(CONFIG_KERNEL_RT)) {
-        return (seL4_Error) -ENOSYS;
+        return (seL4_Error) - ENOSYS;
     }
 #ifdef CONFIG_KERNEL_RT
     return seL4_SchedControl_Configure(sched_ctrl, sc, budget, period, refills, badge);