| /kernel/trunk/arch/amd64/src/amd64.c |
|---|
| 50,7 → 50,6 |
| #include <arch/syscall.h> |
| #include <arch/debugger.h> |
| #include <syscall/syscall.h> |
| #include <console/console.h> |
| /** Disable I/O on non-privileged levels |
| 186,18 → 185,3 |
| write_msr(AMD_MSR_FS, addr); |
| return 0; |
| } |
| /** Acquire console back for kernel |
| * |
| */ |
| void arch_grab_console(void) |
| { |
| i8042_grab(); |
| } |
| /** Return console to userspace |
| * |
| */ |
| void arch_release_console(void) |
| { |
| i8042_release(); |
| } |