| Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame^] | 1 | #ifndef _ARCH_H |
| 2 | #define _ARCH_H | ||||
| 3 | |||||
| 4 | #include "cpu.h" | ||||
| 5 | #include "irq.h" | ||||
| 6 | |||||
| 7 | void arch_init(struct cpu *cpu); | ||||
| 8 | void arch_irq_init_percpu(void); | ||||
| 9 | void arch_irq_config(uint32_t num, enum irq_trigger t, enum irq_polarity p); | ||||
| 10 | void arch_putchar(char c); | ||||
| 11 | |||||
| 12 | #endif /* _ARCH_H */ | ||||