1 files changed, 0 insertions, 2 deletions
diff --git a/crates/kernel/src/alloc.rs b/crates/kernel/src/alloc.rs
index 690b428..203ef5c 100644
--- a/crates/kernel/src/alloc.rs
+++ b/crates/kernel/src/alloc.rs
@@ -135,10 +135,8 @@ pub fn kernel_map(
     let buddy_allocator = buddy_allocator.as_mut().unwrap();
     kernel_page_table.map(&mut *buddy_allocator, vaddr, paddr, len, flags)?;
     vernos_utils::first_time! {
-        {
         log::warn!("TODO: sfence.vma");
         log::warn!("TODO: TLB shootdown");
-        }
     }
     Ok(())
 }