fix: fix rust-sel4 recv slot

rel4team · Sep 12, 2024 · 0a3f8b2 · 0a3f8b2
1 parent d86e61f
commit 0a3f8b2
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
@@ -86,6 +86,6 @@ impl IPCBuffer {
         let inner = self.inner_mut();
         inner.receiveCNode = slot.root().bits();
         inner.receiveIndex = slot.path().bits();
-        inner.receiveCNode = slot.path().depth().try_into().unwrap();
+        inner.receiveDepth = slot.path().depth().try_into().unwrap();
     }
 }