From cb513936e8701f1729867382310f4df4f23f45d9 Mon Sep 17 00:00:00 2001 From: zmckevitt Date: Tue, 5 Dec 2023 22:29:23 -0500 Subject: [PATCH] Fixed formatting for page table metrics --- kernel/src/arch/x86_64/vspace/page_table.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/kernel/src/arch/x86_64/vspace/page_table.rs b/kernel/src/arch/x86_64/vspace/page_table.rs index 259e7c92..fccae3fb 100644 --- a/kernel/src/arch/x86_64/vspace/page_table.rs +++ b/kernel/src/arch/x86_64/vspace/page_table.rs @@ -89,7 +89,6 @@ impl Clone for PageTable { let mut p_allocs = 0; // Do a DFS and find all mapped entries and replicate them in the new `pt` for pml4_idx in 0..PAGE_SIZE_ENTRIES { - let reached_kernel = pml4_idx >= pml4_index(KERNEL_BASE.into()); if self.pml4[pml4_idx].is_present() { cloned_pt.pml4[pml4_idx] = new_pdpt();