| /branches/arm/kernel/arch/arm32/include/drivers/qemu.h |
|---|
| 74,7 → 74,8 |
| extern void qemu_icp_irq_exception(int exc_no, istate_t *istate); |
| extern size_t qemu_icp_get_memory_size(void); |
| extern uintptr_t qemu_icp_get_fb_address(void); |
| extern void qemu_icp_fb_init(void); |
| extern void icp_vga_init(); |
| #endif |
| /** @} |
| /branches/arm/kernel/arch/arm32/include/drivers/gxemul.h |
|---|
| 72,7 → 72,6 |
| extern void gxemul_irq_exception(int exc_no, istate_t *istate); |
| extern size_t gxemul_get_memory_size(void); |
| extern uintptr_t gxemul_get_fb_address(void); |
| extern void gxemul_fb_init(void); |
| #endif |