/branches/arm/kernel/arch/arm32/include/drivers/gxemul.h |
---|
35,7 → 35,6 |
#ifndef KERN_arm32_MSIM_GXEMUL_H_ |
#define KERN_arm32_MSIM_GXEMUL_H_ |
#include <console/chardev.h> |
#define GXEMUL_IRQC_MAX_IRQ 8 |
43,7 → 42,8 |
/** Struct containing mappings of gxemul HW devices into kernel part |
* * of virtual address space. */ |
* of virtual address space. |
*/ |
typedef struct { |
uintptr_t videoram; |
uintptr_t kbd; |
72,7 → 72,6 |
void gxemul_debug_putc(char ch); |
#endif |
/** @} |