Rev 2329 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2329 | Rev 2340 | ||
---|---|---|---|
Line 30... | Line 30... | ||
30 | * @{ |
30 | * @{ |
31 | */ |
31 | */ |
32 | /** @file |
32 | /** @file |
33 | */ |
33 | */ |
34 | 34 | ||
35 | #ifndef KERN_arm32_MSIM_GXEMUL_H_ |
35 | #ifndef KERN_arm32_GXEMUL_H_ |
36 | #define KERN_arm32_MSIM_GXEMUL_H_ |
36 | #define KERN_arm32_GXEMUL_H_ |
37 | 37 | ||
38 | #include <console/chardev.h> |
38 | #include <console/chardev.h> |
39 | 39 | ||
40 | #define GXEMUL_IRQC_MAX_IRQ 8 |
40 | #define GXEMUL_IRQC_MAX_IRQ 8 |
41 | #define GXEMUL_TIMER_FREQ 10 |
41 | #define GXEMUL_TIMER_FREQ 100 |
42 | 42 | ||
43 | 43 | ||
44 | /** Struct containing mappings of gxemul HW devices into kernel part |
44 | /** Struct containing mappings of gxemul HW devices into kernel part |
45 | * of virtual address space. |
45 | * of virtual address space. |
46 | */ |
46 | */ |
Line 54... | Line 54... | ||
54 | uintptr_t irqc_mask; |
54 | uintptr_t irqc_mask; |
55 | uintptr_t irqc_unmask; |
55 | uintptr_t irqc_unmask; |
56 | } gxemul_hw_map_t; |
56 | } gxemul_hw_map_t; |
57 | 57 | ||
58 | 58 | ||
59 | void gxemul_hw_map_init(void); |
- | |
60 | void gxemul_console(devno_t devno); |
- | |
61 | void gxemul_kbd_release(void); |
- | |
62 | void gxemul_kbd_grab(void); |
- | |
63 | - | ||
64 | inline uint32_t gxemul_irqc_get_sources(void); |
- | |
65 | inline void gxemul_irqc_mask(uint32_t irq); |
- | |
66 | inline void gxemul_irqc_unmask(uint32_t irq); |
- | |
67 | - | ||
68 | void gxemul_timer_irq_init(void); |
- | |
69 | void gxemul_timer_start(uint32_t frequency); |
- | |
70 | - | ||
71 | size_t gxemul_get_memory_size(void); |
- | |
72 | void gxemul_debug_putc(char ch); |
- | |
73 | - | ||
74 | - | ||
75 | #endif |
59 | #endif |
76 | 60 | ||
77 | /** @} |
61 | /** @} |
78 | */ |
62 | */ |