| 49,9 → 49,8 |
|---|
| #include <console/console.h> |
| #include <proc/uarg.h> |
| #include <syscall/syscall.h> |
| #include <ddi/irq.h> |
| |
| static int kbd_release=0; |
| |
| void arch_pre_main(void) |
| { |
| /* Setup usermode init tasks. */ |
| 80,12 → 79,13 |
|---|
| iva_write((uintptr_t) &ivt); |
| srlz_d(); |
| |
| ski_init_console(); |
| it_init(); |
| } |
| |
| void arch_post_mm_init(void) |
| { |
| irq_init(INR_COUNT, INR_COUNT); |
| ski_init_console(); |
| it_init(); |
| ski_set_console_sysinfo(); |
| } |
| |
| 145,8 → 145,7 |
|---|
| */ |
| void arch_grab_console(void) |
| { |
| kbd_release=kbd_uspace; |
| kbd_uspace=0; |
| ski_kbd_grab(); |
| } |
| /** Return console to userspace |
| * |
| 153,7 → 152,7 |
|---|
| */ |
| void arch_release_console(void) |
| { |
| kbd_uspace=kbd_release; |
| ski_kbd_release(); |
| } |
| |
| /** @} |