41,6 → 41,22 |
#define GXEMUL_IRQC_MAX_IRQ 8 |
#define GXEMUL_TIMER_FREQ 2 |
|
|
/** Struct containing mappings of gxemul HW devices into kernel part |
* * of virtual address space. */ |
typedef struct { |
uintptr_t videoram; |
uintptr_t kbd; |
uintptr_t rtc; |
uintptr_t rtc_freq; |
uintptr_t rtc_ack; |
uintptr_t irqc; |
uintptr_t irqc_mask; |
uintptr_t irqc_unmask; |
} gxemul_hw_map_t; |
|
|
void gxemul_hw_map_init(void); |
void gxemul_console(devno_t devno); |
void gxemul_kbd_release(void); |
void gxemul_kbd_grab(void); |
52,6 → 68,7 |
void gxemul_timer_irq_init(void); |
void gxemul_timer_start(uint32_t frequency); |
|
size_t gxemul_get_memory_size(void); |
|
|
|