From 0a3f8b2e2626e50146aabf2d6c1d336d603b95d4 Mon Sep 17 00:00:00 2001
From: yufeng <321353225@qq.com>
Date: Fri, 13 Sep 2024 01:40:21 +0800
Subject: [PATCH] fix: fix rust-sel4 recv slot

---
 crates/sel4/src/ipc_buffer.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/sel4/src/ipc_buffer.rs b/crates/sel4/src/ipc_buffer.rs
index c17113f37..f1b2cecae 100644
--- 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();
     }
 }