/kernel/trunk/arch/ia64/src/ia64.c |
---|
44,8 → 44,6 |
#include <proc/uarg.h> |
#include <syscall/syscall.h> |
static int kbd_release=0; |
void arch_pre_main(void) |
{ |
/* Setup usermode init tasks. */ |
131,8 → 129,6 |
*/ |
void arch_grab_console(void) |
{ |
kbd_release=kbd_uspace; |
kbd_uspace=0; |
} |
/** Return console to userspace |
* |
139,5 → 135,4 |
*/ |
void arch_release_console(void) |
{ |
kbd_uspace=kbd_release; |
} |