32,13 → 32,13 |
/** @file |
*/ |
|
#ifndef KERN_arm32_MSIM_GXEMUL_H_ |
#define KERN_arm32_MSIM_GXEMUL_H_ |
#ifndef KERN_arm32_GXEMUL_H_ |
#define KERN_arm32_GXEMUL_H_ |
|
#include <console/chardev.h> |
|
#define GXEMUL_IRQC_MAX_IRQ 8 |
#define GXEMUL_TIMER_FREQ 10 |
#define GXEMUL_TIMER_FREQ 100 |
|
|
/** Struct containing mappings of gxemul HW devices into kernel part |
56,22 → 56,6 |
} gxemul_hw_map_t; |
|
|
void gxemul_hw_map_init(void); |
void gxemul_console(devno_t devno); |
void gxemul_kbd_release(void); |
void gxemul_kbd_grab(void); |
|
inline uint32_t gxemul_irqc_get_sources(void); |
inline void gxemul_irqc_mask(uint32_t irq); |
inline void gxemul_irqc_unmask(uint32_t irq); |
|
void gxemul_timer_irq_init(void); |
void gxemul_timer_start(uint32_t frequency); |
|
size_t gxemul_get_memory_size(void); |
void gxemul_debug_putc(char ch); |
|
|
#endif |
|
/** @} |