diff options
Diffstat (limited to 'src/kernel/idt.c')
| -rw-r--r-- | src/kernel/idt.c | 6 |
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; |