| /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; |
| } |