fix the bug of func recv_slot

seL4 · Jan 3, 2025 · 87183fb · 87183fb
1 parent 5b9ebfd
commit 87183fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/sel4/src/ipc_buffer.rs b/crates/sel4/src/ipc_buffer.rs
@@ -66,7 +66,7 @@ impl IpcBuffer {
         let inner = self.inner();
         cap::CNode::from_bits(inner.receiveCNode).absolute_cptr_from_bits_with_depth(
             inner.receiveIndex,
-            inner.receiveCNode.try_into().unwrap(),
+            inner.receiveDepth.try_into().unwrap(),
         )
     }