fix fmt

rel4team · Sep 23, 2024 · 314d253 · 314d253
1 parent 2a5c711
commit 314d253
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 10 deletions.
diff --git a/kernel/src/syscall/invocation/decode/arch/aarch64.rs b/kernel/src/syscall/invocation/decode/arch/aarch64.rs
@@ -489,12 +489,11 @@ fn decode_frame_map(length: usize, frame_slot: &mut cte_t, buffer: &seL4_IPCBuff
     }
     let pt_slot = convert_to_mut_type_ref::<PTE>(lu_ret.ptSlot as usize);
     set_thread_state(get_currenct_thread(), ThreadState::ThreadStateRestart);
-	frame_slot.cap.set_frame_mapped_asid(asid);
+    frame_slot.cap.set_frame_mapped_asid(asid);
     frame_slot.cap.set_frame_mapped_address(vaddr);
     return invoke_page_map(
         asid,
         frame_slot.cap.clone(),
-        frame_slot,
         PTE::make_user_pte(base, vm_rights, attr, frame_size),
         pt_slot,
     );

diff --git a/kernel/src/syscall/invocation/invoke_mmu_op.rs b/kernel/src/syscall/invocation/invoke_mmu_op.rs
@@ -141,15 +141,8 @@ pub fn invoke_page_map(
     exception_t::EXCEPTION_NONE
 }
 #[cfg(target_arch = "aarch64")]
-pub fn invoke_page_map(
-    asid: usize,
-    cap: cap_t,
-    frame_slot: &mut cte_t,
-    pte: PTE,
-    pt_slot: &mut PTE,
-) -> exception_t {
+pub fn invoke_page_map(asid: usize, cap: cap_t, pte: PTE, pt_slot: &mut PTE) -> exception_t {
     let tlbflush_required: bool = pt_slot.get_type() != (pte_tag_t::pte_invalid) as usize;
-    // frame_slot.cap = cap;
     pt_slot.update(pte);
 
     clean_by_va_pou(