tool: remove commented lines

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jul 11, 2024 · 4a56fba · 4a56fba
1 parent db6d2cf
commit 4a56fba
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tool/microkit/src/main.rs b/tool/microkit/src/main.rs
@@ -633,9 +633,7 @@ fn get_arch_n_paging(region: MemoryRegion) -> u64 {
     const PT_INDEX_OFFSET: u64 = 12;
     const PD_INDEX_OFFSET: u64 = PT_INDEX_OFFSET + 9;
     const PUD_INDEX_OFFSET: u64 = PD_INDEX_OFFSET + 9;
-    // const PGD_INDEX_OFFSET: u64 = PUD_INDEX_OFFSET + 9;
 
-    // get_n_paging(region, PGD_INDEX_OFFSET) +
     get_n_paging(region, PUD_INDEX_OFFSET) + get_n_paging(region, PD_INDEX_OFFSET)
 }