diff --git a/src/kernel/interrupts.cpp b/src/kernel/interrupts.cpp
index b6c267c..50ab9dc 100644
--- a/src/kernel/interrupts.cpp
+++ b/src/kernel/interrupts.cpp
@@ -330,6 +330,7 @@ syscall_handler(addr_t return_rsp, cpu_state regs)
 	print_reg("rdi", regs.rdi);
 	print_reg("rsi", regs.rsi);
 
+	/*
 	cons->puts("\n");
 	print_reg(" r8", regs.r8);
 	print_reg(" r9", regs.r9);
@@ -339,6 +340,7 @@ syscall_handler(addr_t return_rsp, cpu_state regs)
 	print_reg("r13", regs.r13);
 	print_reg("r14", regs.r14);
 	print_reg("r15", regs.r15);
+	*/
 
 	cons->puts("\n");
 	print_reg("rbp", regs.rbp);
diff --git a/src/kernel/page_manager.h b/src/kernel/page_manager.h
index e31b23c..0540cb8 100644
--- a/src/kernel/page_manager.h
+++ b/src/kernel/page_manager.h
@@ -163,7 +163,7 @@ private:
 			addr_t phys_addr,
 			addr_t virt_addr,
 			size_t count,
-			bool user = true);
+			bool user = false);
 
 	/// Low-level routine for unmapping a number of pages from the given page table.
 	/// \arg pml4       The root page table for this mapping