Rev 2261 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2261 | Rev 2263 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <console/chardev.h> |
39 | #include <console/chardev.h> |
40 | 40 | ||
41 | #define GXEMUL_IRQC_MAX_IRQ 8 |
41 | #define GXEMUL_IRQC_MAX_IRQ 8 |
42 | #define GXEMUL_TIMER_FREQ 2 |
42 | #define GXEMUL_TIMER_FREQ 2 |
43 | 43 | ||
- | 44 | ||
- | 45 | /** Struct containing mappings of gxemul HW devices into kernel part |
|
- | 46 | * * of virtual address space. */ |
|
- | 47 | typedef struct { |
|
- | 48 | uintptr_t videoram; |
|
- | 49 | uintptr_t kbd; |
|
- | 50 | uintptr_t rtc; |
|
- | 51 | uintptr_t rtc_freq; |
|
- | 52 | uintptr_t rtc_ack; |
|
- | 53 | uintptr_t irqc; |
|
- | 54 | uintptr_t irqc_mask; |
|
- | 55 | uintptr_t irqc_unmask; |
|
- | 56 | } gxemul_hw_map_t; |
|
- | 57 | ||
- | 58 | ||
- | 59 | void gxemul_hw_map_init(void); |
|
44 | void gxemul_console(devno_t devno); |
60 | void gxemul_console(devno_t devno); |
45 | void gxemul_kbd_release(void); |
61 | void gxemul_kbd_release(void); |
46 | void gxemul_kbd_grab(void); |
62 | void gxemul_kbd_grab(void); |
47 | 63 | ||
48 | inline uint32_t gxemul_irqc_get_sources(void); |
64 | inline uint32_t gxemul_irqc_get_sources(void); |
Line 50... | Line 66... | ||
50 | inline void gxemul_irqc_unmask(uint32_t irq); |
66 | inline void gxemul_irqc_unmask(uint32_t irq); |
51 | 67 | ||
52 | void gxemul_timer_irq_init(void); |
68 | void gxemul_timer_irq_init(void); |
53 | void gxemul_timer_start(uint32_t frequency); |
69 | void gxemul_timer_start(uint32_t frequency); |
54 | 70 | ||
- | 71 | size_t gxemul_get_memory_size(void); |
|
55 | 72 | ||
56 | 73 | ||
57 | 74 | ||
58 | #endif |
75 | #endif |
59 | 76 |