crates/microkit: Add index getter functions

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Aug 9, 2024 · 96f0109 · 96f0109
1 parent fe6fdd6
commit 96f0109
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/crates/sel4-microkit/base/src/channel.rs b/crates/sel4-microkit/base/src/channel.rs
@@ -27,6 +27,10 @@ impl Channel {
         Self { index }
     }
 
+    pub const fn index(&self) -> usize {
+        self.index
+    }
+
     fn cap<T: sel4::CapType>(&self, base_slot: usize) -> sel4::Cap<T> {
         sel4::Cap::from_bits((base_slot + self.index) as sel4::CPtrBits)
     }
@@ -92,6 +96,10 @@ impl Child {
         Self { index }
     }
 
+    pub const fn index(&self) -> usize {
+        self.index
+    }
+
     #[doc(hidden)]
     pub fn tcb(&self) -> sel4::cap::Tcb {
         sel4::Cap::from_bits((BASE_TCB_SLOT + self.index) as sel4::CPtrBits)