/branches/arm/kernel/arch/arm32/include/drivers/gxemul.h |
---|
35,6 → 35,7 |
#ifndef KERN_arm32_MSIM_GXEMUL_H_ |
#define KERN_arm32_MSIM_GXEMUL_H_ |
#include <console/chardev.h> |
#define GXEMUL_IRQC_MAX_IRQ 8 |
42,8 → 43,7 |
/** 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,6 → 72,7 |
void gxemul_debug_putc(char ch); |
#endif |
/** @} |