Rev 2357 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2357 | Rev 2358 | ||
---|---|---|---|
Line 37... | Line 37... | ||
37 | #define KERN_arm32_MACHINE_H_ |
37 | #define KERN_arm32_MACHINE_H_ |
38 | 38 | ||
39 | #include <console/console.h> |
39 | #include <console/console.h> |
40 | #include <arch/types.h> |
40 | #include <arch/types.h> |
41 | #include <arch/exception.h> |
41 | #include <arch/exception.h> |
- | 42 | #include <arch/drivers/gxemul.h> |
|
42 | 43 | ||
43 | 44 | ||
44 | /** Initializes console. |
45 | /** Initializes console. |
45 | * |
46 | * |
46 | * @param devno Console device number. |
47 | * @param devno Console device number. |
Line 85... | Line 86... | ||
85 | extern void machine_irq_exception(int exc_no, istate_t *istate); |
86 | extern void machine_irq_exception(int exc_no, istate_t *istate); |
86 | 87 | ||
87 | 88 | ||
88 | extern uintptr_t machine_get_fb_address(void); |
89 | extern uintptr_t machine_get_fb_address(void); |
89 | 90 | ||
- | 91 | ||
- | 92 | #ifdef MACHINE_GXEMUL_TESTARM |
|
- | 93 | # define machine_console_init(devno) gxemul_console_init(devno) |
|
- | 94 | # define machine_grab_console gxemul_grab_console |
|
- | 95 | # define machine_release_console gxemul_release_console |
|
- | 96 | # define machine_hw_map_init gxemul_hw_map_init |
|
- | 97 | # define machine_timer_irq_start gxemul_timer_irq_start |
|
- | 98 | # define machine_cpu_halt gxemul_cpu_halt |
|
- | 99 | # define machine_get_memory_size gxemul_get_memory_size |
|
- | 100 | # define machine_debug_putc(ch) gxemul_debug_putc(ch) |
|
- | 101 | # define machine_irq_exception(exc_no, istate) gxemul_irq_exception(exc_no, istate) |
|
- | 102 | # define machine_get_fb_address gxemul_get_fb_address |
|
- | 103 | #endif |
|
- | 104 | ||
- | 105 | ||
90 | #endif |
106 | #endif |
91 | 107 | ||
92 | /** @} |
108 | /** @} |
93 | */ |
109 | */ |