Rev 2465 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2465 | Rev 4117 | ||
---|---|---|---|
Line 36... | Line 36... | ||
36 | */ |
36 | */ |
37 | 37 | ||
38 | #ifndef KERN_arm32_GXEMUL_H_ |
38 | #ifndef KERN_arm32_GXEMUL_H_ |
39 | #define KERN_arm32_GXEMUL_H_ |
39 | #define KERN_arm32_GXEMUL_H_ |
40 | 40 | ||
41 | #include <console/chardev.h> |
- | |
42 | - | ||
43 | /** Last interrupt number (beginning from 0) whose status is probed |
41 | /** Last interrupt number (beginning from 0) whose status is probed |
44 | * from interrupt controller |
42 | * from interrupt controller |
45 | */ |
43 | */ |
46 | #define GXEMUL_IRQC_MAX_IRQ 8 |
44 | #define GXEMUL_IRQC_MAX_IRQ 8 |
- | 45 | #define GXEMUL_KBD_IRQ 2 |
|
- | 46 | #define GXEMUL_TIMER_IRQ 4 |
|
47 | 47 | ||
48 | /** Timer frequency */ |
48 | /** Timer frequency */ |
49 | #define GXEMUL_TIMER_FREQ 100 |
49 | #define GXEMUL_TIMER_FREQ 100 |
50 | 50 | ||
51 | /** Struct containing mappings of gxemul HW devices into kernel part |
- | |
52 | * of virtual address space. |
51 | #define GXEMUL_KBD_ADDRESS 0x10000000 |
53 | */ |
- | |
54 | typedef struct { |
- | |
55 | uintptr_t videoram; |
52 | #define GXEMUL_MP_ADDRESS 0x11000000 |
56 | uintptr_t kbd; |
- | |
57 | uintptr_t rtc; |
- | |
58 | uintptr_t rtc_freq; |
53 | #define GXEMUL_FB_ADDRESS 0x12000000 |
59 | uintptr_t rtc_ack; |
- | |
60 | uintptr_t irqc; |
- | |
61 | uintptr_t irqc_mask; |
54 | #define GXEMUL_RTC_ADDRESS 0x15000000 |
62 | uintptr_t irqc_unmask; |
55 | #define GXEMUL_IRQC_ADDRESS 0x16000000 |
63 | } gxemul_hw_map_t; |
- | |
64 | 56 | ||
65 | extern void gxemul_hw_map_init(void); |
57 | extern void *gxemul_kbd; |
66 | extern void gxemul_console_init(devno_t devno); |
- | |
67 | extern void gxemul_release_console(void); |
58 | extern void *gxemul_rtc; |
68 | extern void gxemul_grab_console(void); |
59 | extern void *gxemul_irqc; |
- | 60 | ||
69 | extern void gxemul_timer_irq_start(void); |
61 | #define GXEMUL_HALT_OFFSET 0x010 |
70 | extern void gxemul_debug_putc(char ch); |
62 | #define GXEMUL_RTC_FREQ_OFFSET 0x100 |
71 | extern void gxemul_cpu_halt(void); |
63 | #define GXEMUL_MP_MEMSIZE_OFFSET 0x090 |
72 | extern void gxemul_irq_exception(int exc_no, istate_t *istate); |
- | |
73 | extern size_t gxemul_get_memory_size(void); |
64 | #define GXEMUL_RTC_ACK_OFFSET 0x110 |
- | 65 | ||
74 | extern uintptr_t gxemul_get_fb_address(void); |
66 | extern void gxemul_init(void); |
75 | 67 | ||
76 | #endif |
68 | #endif |
77 | 69 | ||
78 | /** @} |
70 | /** @} |
79 | */ |
71 | */ |