Subversion Repositories HelenOS

Rev

Rev 2927 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2927 Rev 4346
Line 36... Line 36...
36 
 */
 36 
 */
37 
 
 37 
 
38 
#ifndef KERN_arm32_GXEMUL_H_
 38 
#ifndef KERN_arm32_GXEMUL_H_
39 
#define KERN_arm32_GXEMUL_H_
 39 
#define KERN_arm32_GXEMUL_H_
40 
 
 40 
 
41 
#include <console/chardev.h>
 - 
 
42 
 
 - 
 
43 
/** Last interrupt number (beginning from 0) whose status is probed
 41 
/** Last interrupt number (beginning from 0) whose status is probed
44 
 * from interrupt controller
 42 
 * from interrupt controller
45 
 */
 43 
 */
46 
#define GXEMUL_IRQC_MAX_IRQ     8
 44 
#define GXEMUL_IRQC_MAX_IRQ  8
- 
 
 45 
#define GXEMUL_KBD_IRQ       2
- 
 
 46 
#define GXEMUL_TIMER_IRQ     4
47 
 
 47 
 
48 
/** Timer frequency */
 48 
/** Timer frequency */
49 
#define GXEMUL_TIMER_FREQ       100
 49 
#define GXEMUL_TIMER_FREQ  100
50 
 
 50 
 
51 
/** Struct containing mappings of gxemul HW devices into kernel part
 - 
 
52 
 *  of virtual address space.
 51 
#define GXEMUL_KBD_ADDRESS   0x10000000
53 
 */
 - 
 
54 
typedef struct {
 - 
 
55 
    uintptr_t videoram;
 52 
#define GXEMUL_MP_ADDRESS    0x11000000
56 
    uintptr_t kbd;
 - 
 
57 
    uintptr_t rtc;
 - 
 
58 
    uintptr_t rtc_freq;
 53 
#define GXEMUL_FB_ADDRESS    0x12000000
59 
    uintptr_t rtc_ack;
 - 
 
60 
    uintptr_t irqc;
 - 
 
61 
    uintptr_t irqc_mask;
 54 
#define GXEMUL_RTC_ADDRESS   0x15000000
62 
    uintptr_t irqc_unmask;
 55 
#define GXEMUL_IRQC_ADDRESS  0x16000000
63 
} gxemul_hw_map_t;
 - 
 
64 
 
 56 
 
65 
extern void gxemul_hw_map_init(void);
 57 
extern void *gxemul_kbd;
66 
extern void gxemul_console_init(devno_t devno);
 - 
 
67 
extern void gxemul_release_console(void);
 58 
extern void *gxemul_rtc;
68 
extern void gxemul_grab_console(void);
 59 
extern void *gxemul_irqc;
- 
 
 60 
 
69 
extern void gxemul_timer_irq_start(void);
 61 
#define GXEMUL_HALT_OFFSET        0x010
70 
extern void gxemul_debug_putc(char ch);
 62 
#define GXEMUL_RTC_FREQ_OFFSET    0x100
71 
extern void gxemul_cpu_halt(void);
 63 
#define GXEMUL_MP_MEMSIZE_OFFSET  0x090
72 
extern void gxemul_irq_exception(int exc_no, istate_t *istate);
 - 
 
73 
extern size_t gxemul_get_memory_size(void);
 64 
#define GXEMUL_RTC_ACK_OFFSET     0x110
- 
 
 65 
 
74 
extern uintptr_t gxemul_get_fb_address(void);
 66 
extern void gxemul_init(void);
75 
 
 67 
 
76 
#endif
 68 
#endif
77 
 
 69 
 
78 
/** @}
 70 
/** @}
79 
 */
 71 
 */