try to fix more

rel4team · Dec 18, 2024 · bbdebb5 · bbdebb5
1 parent 8a0343a
commit bbdebb5
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/kernel/src/syscall/invocation/invoke_untyped.rs b/kernel/src/syscall/invocation/invoke_untyped.rs
@@ -143,7 +143,6 @@ pub fn reset_untyped_cap(srcSlot: &mut cte_t) -> exception_t {
                 GET_OFFSET_FREE_PTR(region_base, offset as usize) as *mut u8,
                 chunk,
             );
-            prev_cap.set_capFreeIndex((offset as u64) >> seL4_MinUntypedBits);
             let status = unsafe { preemptionPoint() };
             if status != exception_t::EXCEPTION_NONE {
                 return status;

diff --git a/sel4_cspace/src/capability/mod.rs b/sel4_cspace/src/capability/mod.rs
@@ -227,6 +227,14 @@ pub fn same_region_as(cap1: &cap, cap2: &cap) -> bool {
             }
             false
         }
+		#[cfg(feature="KERNEL_MCS")]
+		cap_tag::cap_reply_cap => {
+			if cap2.get_tag() == cap_tag::cap_reply_cap{
+				return cap::cap_reply_cap(cap1).get_capReplyPtr()
+				== cap::cap_reply_cap(cap2).get_capReplyPtr();
+			}
+			false
+		}
         _ => false,
     }
 }