| /branches/arm/kernel/arch/arm32/src/console.c |
|---|
| 32,30 → 32,31 |
| /** @file |
| */ |
| #include <console/console.h> |
| #include <arch/console.h> |
| #include <arch/machine.h> |
| void console_init(devno_t devno) |
| { |
| machine_console_init(devno); |
| } |
| /** Acquire console back for kernel |
| * |
| */ |
| /** Acquire console back for kernel. */ |
| void arch_grab_console(void) |
| { |
| machine_grab_console(); |
| } |
| /** Return console to userspace |
| * |
| */ |
| /** Return console to userspace. */ |
| void arch_release_console(void) |
| { |
| machine_release_console(); |
| } |
| /** @} |
| */ |