Provide ep to seL4_TCB_SetSchedParams for RT

libsel4utils/include/sel4utils/mcs_api.h

diff --git a/libsel4utils/include/sel4utils/mcs_api.h b/libsel4utils/include/sel4utils/mcs_api.h
index 36dc98b..4980890 100644
--- a/libsel4utils/include/sel4utils/mcs_api.h
+++ b/libsel4utils/include/sel4utils/mcs_api.h
@@ -122,10 +122,10 @@
 }
 
 static inline seL4_Error api_tcb_set_sched_params(seL4_CPtr tcb, seL4_CPtr auth, seL4_Word prio,
-                                                  seL4_Word mcp, seL4_CPtr sc)
+                                                  seL4_Word mcp, seL4_CPtr sc, seL4_CPtr ep)
 {
 #ifdef CONFIG_KERNEL_RT
-    return seL4_TCB_SetSchedParams(tcb, auth, mcp, prio, sc);
+    return seL4_TCB_SetSchedParams(tcb, auth, mcp, prio, sc, ep);
 #else
     return seL4_TCB_SetSchedParams(tcb, auth, mcp, prio);
 #endif