40,15 → 40,51 |
#include <arch/types.h> |
#include <arch/exception.h> |
|
|
/** Initializes console. |
* |
* @param devno Console device number. |
*/ |
extern void machine_console_init(devno_t devno); |
|
/** Acquire console back for kernel. */ |
extern void machine_grab_console(void); |
|
/** Return console to userspace. */ |
extern void machine_release_console(void); |
|
/** Maps HW devices to the kernel address space using #hw_map. */ |
extern void machine_hw_map_init(void); |
|
/** Starts timer. */ |
extern void machine_timer_irq_start(void); |
|
/** Halts CPU. */ |
extern void machine_cpu_halt(void); |
|
|
/** Returns size of available memory. |
* |
* @return Size of available memory. |
*/ |
extern size_t machine_get_memory_size(void); |
|
|
/** Prints a character. |
* |
* @param ch Character to be printed. |
*/ |
extern void machine_debug_putc(char ch); |
extern void machine_cpu_halt(void); |
|
|
/** Interrupt exception handler. |
* |
* @param exc_no Interrupt exception number. |
* @param istate Saved processor state. |
*/ |
extern void machine_irq_exception(int exc_no, istate_t *istate); |
|
|
extern uintptr_t machine_get_fb_address(void); |
|
#endif |