Rev 2300 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2300 | Rev 2306 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | #ifndef KERN_arm32_MACHINE_H_ |
35 | #ifndef KERN_arm32_MACHINE_H_ |
36 | #define KERN_arm32_MACHINE_H_ |
36 | #define KERN_arm32_MACHINE_H_ |
37 | 37 | ||
38 | #include <console/console.h> |
38 | #include <console/console.h> |
39 | #include <arch/types.h> |
39 | #include <arch/types.h> |
- | 40 | #include <arch/exception.h> |
|
40 | 41 | ||
41 | void machine_console_init(devno_t devno); |
42 | extern void machine_console_init(devno_t devno); |
42 | void machine_grab_console(void); |
43 | extern void machine_grab_console(void); |
43 | void machine_release_console(void); |
44 | extern void machine_release_console(void); |
44 | - | ||
45 | void machine_hw_map_init(void); |
45 | extern void machine_hw_map_init(void); |
46 | - | ||
47 | void machine_timer_irq_start(void); |
46 | extern void machine_timer_irq_start(void); |
48 | - | ||
49 | size_t machine_get_memory_size(void); |
47 | extern size_t machine_get_memory_size(void); |
50 | - | ||
51 | void machine_debug_putc(char ch); |
48 | extern void machine_debug_putc(char ch); |
52 | - | ||
53 | void machine_cpu_halt(void); |
49 | extern void machine_cpu_halt(void); |
- | 50 | extern void machine_irq_exception(int exc_no, istate_t *istate); |
|
54 | 51 | ||
55 | #endif |
52 | #endif |
56 | 53 | ||
57 | /** @} |
54 | /** @} |
58 | */ |
55 | */ |