fix the pde new small

rel4team · Jul 17, 2024 · 4757f76 · 4757f76
1 parent 5a0ea35
commit 4757f76
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/syscall/invocation/invoke_mmu_op.rs b/src/syscall/invocation/invoke_mmu_op.rs
@@ -58,7 +58,7 @@ pub fn invoke_page_table_map(
     vaddr: usize,
 ) -> exception_t {
     let paddr = pptr_to_paddr(pt_cap.get_pt_base_ptr());
-    let pde = PTE::new(paddr >> seL4_PageBits, PTEFlags::VALID).as_pde();
+    let pde = PDE::new_small(paddr >> seL4_PageBits);
     *pd_slot = pde;
     pt_cap.set_pt_is_mapped(1);
     pt_cap.set_pt_mapped_asid(asid);