34,13 → 34,11 |
|
#include <console/console.h> |
#include <arch/console.h> |
#include <arch/drivers/gxemul.h> |
#include <arch/machine.h> |
|
void console_init(devno_t devno) |
{ |
#if MACHINE == MACHINE_GXEMUL_TESTARM |
gxemul_console(devno); |
#endif |
machine_console_init(devno); |
} |
|
/** Acquire console back for kernel |
48,9 → 46,7 |
*/ |
void arch_grab_console(void) |
{ |
#if MACHINE == MACHINE_GXEMUL_TESTARM |
gxemul_kbd_grab(); |
#endif |
machine_grab_console(); |
} |
|
/** Return console to userspace |
58,9 → 54,7 |
*/ |
void arch_release_console(void) |
{ |
#if MACHINE == MACHINE_GXEMUL_TESTARM |
gxemul_kbd_release(); |
#endif |
machine_release_console(); |
} |
|
/** @} |