37,21 → 37,18 |
|
#include <console/console.h> |
#include <arch/types.h> |
#include <arch/exception.h> |
|
void machine_console_init(devno_t devno); |
void machine_grab_console(void); |
void machine_release_console(void); |
extern void machine_console_init(devno_t devno); |
extern void machine_grab_console(void); |
extern void machine_release_console(void); |
extern void machine_hw_map_init(void); |
extern void machine_timer_irq_start(void); |
extern size_t machine_get_memory_size(void); |
extern void machine_debug_putc(char ch); |
extern void machine_cpu_halt(void); |
extern void machine_irq_exception(int exc_no, istate_t *istate); |
|
void machine_hw_map_init(void); |
|
void machine_timer_irq_start(void); |
|
size_t machine_get_memory_size(void); |
|
void machine_debug_putc(char ch); |
|
void machine_cpu_halt(void); |
|
#endif |
|
/** @} |