| 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 |