fix cnode part bug and try to decline the number of cap::cap_cnode_ca…

…p use
reL4team2 · Jan 3, 2025 · 606e3d4 · 606e3d4
1 parent e5e09c2
commit 606e3d4
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/endpoint.rs b/src/endpoint.rs
@@ -58,7 +58,12 @@ pub trait endpoint_func {
     #[cfg(not(feature = "KERNEL_MCS"))]
     fn receive_ipc(&mut self, thread: &mut tcb_t, is_blocking: bool, grant: bool);
     #[cfg(feature = "KERNEL_MCS")]
-    fn receive_ipc(&mut self, thread: &mut tcb_t, is_blocking: bool, Option_reply_cap: Option<&mut cap_reply_cap>);
+    fn receive_ipc(
+        &mut self,
+        thread: &mut tcb_t,
+        is_blocking: bool,
+        Option_reply_cap: Option<&mut cap_reply_cap>,
+    );
     #[cfg(feature = "KERNEL_MCS")]
     fn reorder_EP(&mut self, thread: &mut tcb_t);
 }