| /branches/arm/kernel/arch/arm32/include/drivers/gxemul.h |
|---|
| 48,7 → 48,6 |
| /** Timer frequency */ |
| #define GXEMUL_TIMER_FREQ 100 |
| /** Struct containing mappings of gxemul HW devices into kernel part |
| * of virtual address space. |
| */ |
| 63,7 → 62,6 |
| uintptr_t irqc_unmask; |
| } gxemul_hw_map_t; |
| extern void gxemul_hw_map_init(void); |
| extern void gxemul_console_init(devno_t devno); |
| extern void gxemul_release_console(void); |
| 75,7 → 73,6 |
| extern size_t gxemul_get_memory_size(void); |
| extern uintptr_t gxemul_get_fb_address(void); |
| #endif |
| /** @} |