/branches/arm/kernel/arch/arm32/include/drivers/gxemul.h |
---|
41,18 → 41,6 |
void gxemul_kbd_release(void); |
void gxemul_kbd_grab(void); |
#define GXEMUL_IRQC_MAX_IRQ 8 |
inline uint32_t gxemul_irqc_get_sources(void); |
inline void gxemul_irqc_mask(uint32_t irq); |
inline void gxemul_irqc_unmask(uint32_t irq); |
#define GXEMUL_TIMER_FREQ 2 |
void gxemul_timer_irq_init(void); |
void gxemul_timer_start(uint32_t frequency); |
#endif |
/** @} |