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(); |
} |
|
/** @} |