| /branches/arm/kernel/arch/arm32/include/machine.h |
|---|
| 48,6 → 48,7 |
| extern void machine_debug_putc(char ch); |
| extern void machine_cpu_halt(void); |
| extern void machine_irq_exception(int exc_no, istate_t *istate); |
| extern uintptr_t machine_get_fb_address(void); |
| #endif |