From cbc85f6e897808b29e2f712156e2fa4d073d8277 Mon Sep 17 00:00:00 2001 From: Benji Dial Date: Sun, 6 Sep 2020 01:26:56 -0400 Subject: small fixes --- src/kernel/idt.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src/kernel/idt.c') 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; -- cgit v1.2.3