| 31,6 → 31,10 |
|---|
| */ |
| /** @file |
| * @brief Declarations of machine specific functions. |
| * |
| * These functions enable to differentiate more kinds of ARM emulators |
| * or CPUs. It's the same concept as "arch" functions on the architecture |
| * level. |
| */ |
| |
| #ifndef KERN_arm32_MACHINE_H_ |
| 48,18 → 52,23 |
|---|
| */ |
| 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); |
| |
| 86,6 → 95,10 |
|---|
| extern void machine_irq_exception(int exc_no, istate_t *istate); |
| |
| |
| /** Returns address of framebuffer device. |
| * |
| * @return Address of framebuffer device. |
| */ |
| extern uintptr_t machine_get_fb_address(void); |
| |
| |