From 85cfdecd49c4e6eceec1573514510c0819aabffb Mon Sep 17 00:00:00 2001
From: Alwin Joshy <joshyalwin@gmail.com>
Date: Tue, 28 May 2024 14:05:51 +1000
Subject: [PATCH] fix typo in set_recv_slot

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
---
 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 24d1ed62e..af64e1799 100644
--- a/crates/sel4/src/ipc_buffer.rs
+++ b/crates/sel4/src/ipc_buffer.rs
@@ -66,6 +66,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();
     }
 }