35,18 → 35,20 |
#ifndef KERN_arm32_MSIM_GXEMUL_H_ |
#define KERN_arm32_MSIM_GXEMUL_H_ |
|
|
#include <console/chardev.h> |
|
#define GXEMUL_IRQC_MAX_IRQ 8 |
#define GXEMUL_TIMER_FREQ 2 |
|
void gxemul_console(devno_t devno); |
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); |
|