small fixes

1 files changed, 2 insertions, 4 deletions

diff --git a/src/kernel/idt.c b/src/kernel/idt.c
index 460cfb0..31d597f 100644
--- a/src/kernel/idt.c
+++ b/src/kernel/idt.c
@@ -70,9 +70,7 @@ static char sc_get_key() {
 }
 
 static void *sc_allocate_ram(uint32_t pages) {
-//switch_to_kernel_cr3();
-  void *result = pd_user_allocate_anywhere_writable(active_task->page_directory, pages);
-//switch_to_task_cr3();
+  return pd_user_allocate_anywhere_writable(active_task->page_directory, pages);
 }
 
 void const *syscall_table[] = {
@@ -90,7 +88,7 @@ extern void syscall_isr;
 extern void quit_isr;
 extern void yield_isr;
 
-void register_int(uint8_t n, void *isr, uint8_t dpl) {
+static void register_int(uint8_t n, void *isr, uint8_t dpl) {
   idt[n].addr_low = (uint32_t)isr & 0xffff;
   idt[n].addr_high = (uint32_t)isr >> 16;
   idt[n].cs = 0x10;