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