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