crates/sel4-capdl-initializer: Fix bug

Typo Signed-off-by: Nick Spinale <[email protected]>
seL4 · Mar 5, 2024 · 2012cbf · 2012cbf
1 parent f4d0c2d
commit 2012cbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/sel4-capdl-initializer/core/src/lib.rs b/crates/sel4-capdl-initializer/core/src/lib.rs
@@ -652,7 +652,7 @@ impl<'a, N: ObjectName, D: Content, M: GetEmbeddedFrame, B: BorrowMut<[PerObject
                             Some(cap) => self.orig_cap::<cap_type::SchedContext>(cap.object),
                         };
 
-                        let fault_ep = match obj.temp_fault_ep() {
+                        let fault_ep = match obj.fault_ep() {
                             None => init_thread::slot::NULL.cap().cast::<cap_type::Endpoint>(),
                             Some(cap) => {
                                 let orig = self.orig_cap::<cap_type::Endpoint>(cap.object);