From fc918ea68d536fa9f219e7b4decdae1f561c9886 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Sat, 14 Sep 2024 23:09:18 -0500
Subject: Fix ICE.

---
 crates/kernel/src/alloc.rs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'crates/kernel')

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(())
 }
-- 
cgit v1.2.3