WebSVN – HelenOS – Diff – /branches/arm/kernel/arch/arm32/src/drivers/gxemul.c


/*
 * Copyright (c) 2007 Michal Kebrt, Petr Stepan
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
 
/** @addtogroup arm32
 * @{
 */
/** @file
 */
 
#include <interrupt.h>
#include <ipc/irq.h>
#include <console/chardev.h>
#include <arch/drivers/gxemul.h>
#include <console/console.h>
#include <sysinfo/sysinfo.h>
#include <print.h>
#include <ddi/device.h>
#include <mm/page.h>
#include <arch/machine.h>
 
/** Address of devices. */
#define GXEMUL_VIDEORAM            0x10000000
#define GXEMUL_KBD                 0x10000000
#define GXEMUL_RTC                 0x15000000
#define GXEMUL_RTC_FREQ_OFFSET     0x100
#define GXEMUL_RTC_ACK_OFFSET      0x110
#define GXEMUL_IRQC                0x16000000
#define GXEMUL_IRQC_MASK_OFFSET    0x4
#define GXEMUL_IRQC_UNMASK_OFFSET  0x8
#define GXEMUL_MP                  0x11000000
#define GXEMUL_MP_MEMSIZE_OFFSET   0x0090
 
 
/** IRQs */
#define GXEMUL_KBD_IRQ      2
#define GXEMUL_TIMER_IRQ    4
 
static gxemul_hw_map_t gxemul_hw_map;
static chardev_t console;
static irq_t gxemul_irq;
static irq_t gxemul_timer_irq;
 
static void gxemul_write(chardev_t *dev, const char ch);
static void gxemul_enable(chardev_t *dev);
static void gxemul_disable(chardev_t *dev);
static char gxemul_do_read(chardev_t *dev);
 
static chardev_operations_t gxemul_ops = {
    .resume = gxemul_enable,
    .suspend = gxemul_disable,
    .write = gxemul_write,
    .read = gxemul_do_read,
};
 
 
/** Initializes #gxemul_hw_map. */
void gxemul_hw_map_init(void)
{
    gxemul_hw_map.videoram = hw_map(GXEMUL_VIDEORAM, PAGE_SIZE);
    gxemul_hw_map.kbd = hw_map(GXEMUL_KBD, PAGE_SIZE);
    gxemul_hw_map.rtc = hw_map(GXEMUL_RTC, PAGE_SIZE);
    gxemul_hw_map.irqc = hw_map(GXEMUL_IRQC, PAGE_SIZE);
 
    gxemul_hw_map.rtc_freq = gxemul_hw_map.rtc + GXEMUL_RTC_FREQ_OFFSET;
    gxemul_hw_map.rtc_ack = gxemul_hw_map.rtc + GXEMUL_RTC_ACK_OFFSET;
    gxemul_hw_map.irqc_mask = gxemul_hw_map.irqc + GXEMUL_IRQC_MASK_OFFSET;
    gxemul_hw_map.irqc_unmask = gxemul_hw_map.irqc + GXEMUL_IRQC_UNMASK_OFFSET;
 
}
 
/** Putchar that works with gxemul */
void gxemul_write(chardev_t *dev, const char ch)
{
    *((char *) gxemul_hw_map.videoram) = ch;
}
 
/* Called from getc(). */
void gxemul_enable(chardev_t *dev)
{
//  cp0_unmask_int(GXEMUL_KBD_IRQ);
    gxemul_irqc_unmask(GXEMUL_KBD_IRQ);
}
 
/* Called from getc(). */
void gxemul_disable(chardev_t *dev)
{
//  cp0_mask_int(GXEMUL_KBD_IRQ);
    gxemul_irqc_mask(GXEMUL_KBD_IRQ);
}
 
/** Read character using polling, assume interrupts disabled */
static char gxemul_do_read(chardev_t *dev)
{
    char ch;
 
    while (1) {
        ch = *((volatile char *) gxemul_hw_map.kbd);
        if (ch) {
            if (ch == '\r')
                return '\n';
            if (ch == 0x7f)
                return '\b';
            return ch;
        }
    }
}
 
/** Process keyboard interrupt. */
static void gxemul_irq_handler(irq_t *irq, void *arg, ...)
{
    if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox))
        ipc_irq_send_notif(irq);
    else {
        char ch = 0;
       
            ch = *((char *) gxemul_hw_map.kbd);
            if (ch =='\r')
                ch = '\n';
            if (ch == 0x7f)
                ch = '\b';
            chardev_push_character(&console, ch);
    }
}
 
static irq_ownership_t gxemul_claim(void)
{
    return IRQ_ACCEPT;
}
 
void machine_grab_console(void)
{
    ipl_t ipl = interrupts_disable();
    spinlock_lock(&gxemul_irq.lock);
    gxemul_irq.notif_cfg.notify = false;
    spinlock_unlock(&gxemul_irq.lock);
    interrupts_restore(ipl);
}
 
void machine_release_console(void)
{
    ipl_t ipl = interrupts_disable();
    spinlock_lock(&gxemul_irq.lock);
    if (gxemul_irq.notif_cfg.answerbox)
        gxemul_irq.notif_cfg.notify = true;
    spinlock_unlock(&gxemul_irq.lock);
    interrupts_restore(ipl);
}
 
 
/** Return console object representing gxemul console */
void machine_console_init(devno_t devno)
{
    chardev_initialize("gxemul_console", &console, &gxemul_ops);
    stdin = &console;
    stdout = &console;
   
    irq_initialize(&gxemul_irq);
    gxemul_irq.devno = devno;
    gxemul_irq.inr = GXEMUL_KBD_IRQ;
    gxemul_irq.claim = gxemul_claim;
    gxemul_irq.handler = gxemul_irq_handler;
    irq_register(&gxemul_irq);
   
//  cp0_unmask_int(GXEMUL_KBD_IRQ);
    gxemul_irqc_unmask(GXEMUL_KBD_IRQ);
   
    sysinfo_set_item_val("kbd", NULL, true);
    sysinfo_set_item_val("kbd.devno", NULL, devno);
    sysinfo_set_item_val("kbd.inr", NULL, GXEMUL_KBD_IRQ);
    sysinfo_set_item_val("kbd.address.virtual", NULL, gxemul_hw_map.kbd);
}
 
/** Return the mask of active interrupts. */
inline uint32_t gxemul_irqc_get_sources(void)
{
    return *(uint32_t*) gxemul_hw_map.irqc;
}
 
/** Masks interrupt.
 *
 * @param irq interrupt number
 */
inline void gxemul_irqc_mask(uint32_t irq)
{
    *(uint32_t*) gxemul_hw_map.irqc_mask = irq;
}
 
/** Unmasks interrupt.
 *
 * @param irq interrupt number
 */
inline void gxemul_irqc_unmask(uint32_t irq)
{
    *(uint32_t*) gxemul_hw_map.irqc_unmask = irq;
}
 
 
/** Starts gxemul Real Time Clock device, which asserts regular interrupts.
 *
 * @param frequency interrupts frequency (0 disables RTC)
 */
void gxemul_timer_start(uint32_t frequency)
{
    *(uint32_t*) gxemul_hw_map.rtc_freq = frequency;
}
 
static irq_ownership_t gxemul_timer_claim(void)
{
    return IRQ_ACCEPT;
}
 
static void gxemul_timer_irq_handler(irq_t *irq, void *arg, ...)
{
    /* TODO time drifts ??
    unsigned long drift;
 
    drift = cp0_count_read() - nextcount;
    while (drift > cp0_compare_value) {
        drift -= cp0_compare_value;
        CPU->missed_clock_ticks++;
    }
    nextcount = cp0_count_read() + cp0_compare_value - drift;
    cp0_compare_write(nextcount);
    */
 
    /*
    * We are holding a lock which prevents preemption.
    * Release the lock, call clock() and reacquire the lock again.
    */
    spinlock_unlock(&irq->lock);
    clock();
    spinlock_lock(&irq->lock);
 
    /* acknowledge tick */
    *(uint32_t*) gxemul_hw_map.rtc_ack = 0;
   
    /* TODO what's that? *
    if (virtual_timer_fnc != NULL)
        virtual_timer_fnc();
    */
}
 
/**
 * Initializes and registers timer interrupt handler.
 */
void gxemul_timer_irq_init()
{
    irq_initialize(&gxemul_timer_irq);
    gxemul_timer_irq.devno = device_assign_devno();
    gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;
    gxemul_timer_irq.claim = gxemul_timer_claim;
    gxemul_timer_irq.handler = gxemul_timer_irq_handler;
 
    irq_register(&gxemul_timer_irq);
}
 
void machine_timer_irq_start()
{
    gxemul_timer_irq_init();
    gxemul_timer_start(GXEMUL_TIMER_FREQ);
}
 
size_t machine_get_memory_size(void)
{
    return  *((int*)(GXEMUL_MP + GXEMUL_MP_MEMSIZE_OFFSET));
}
 
void gxemul_debug_putc(char ch) {
//  *((volatile char *) GXEMUL_KBD) = ch;
//TODO commented version doesn't work, don't know why (as ??
    *((char *) gxemul_hw_map.videoram) = ch;
}
 
/** @}
 */
 

Subversion Repositories HelenOS

(root)/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c – Rev 2284 → 2286

Rev 2284		Rev 2286
1	/*	1	/*
2	* Copyright (c) 2007 Michal Kebrt, Petr Stepan	2	* Copyright (c) 2007 Michal Kebrt, Petr Stepan
3	* All rights reserved.	3	* All rights reserved.
4	*	4	*
5	* Redistribution and use in source and binary forms, with or without	5	* Redistribution and use in source and binary forms, with or without
6	* modification, are permitted provided that the following conditions	6	* modification, are permitted provided that the following conditions
7	* are met:	7	* are met:
8	*	8	*
9	* - Redistributions of source code must retain the above copyright	9	* - Redistributions of source code must retain the above copyright
10	* notice, this list of conditions and the following disclaimer.	10	* notice, this list of conditions and the following disclaimer.
11	* - Redistributions in binary form must reproduce the above copyright	11	* - Redistributions in binary form must reproduce the above copyright
12	* notice, this list of conditions and the following disclaimer in the	12	* notice, this list of conditions and the following disclaimer in the
13	* documentation and/or other materials provided with the distribution.	13	* documentation and/or other materials provided with the distribution.
14	* - The name of the author may not be used to endorse or promote products	14	* - The name of the author may not be used to endorse or promote products
15	* derived from this software without specific prior written permission.	15	* derived from this software without specific prior written permission.
16	*	16	*
17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR	17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES	18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.	19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,	20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT	21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,	22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY	23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT	24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF	25	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.	26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27	*/	27	*/
28		28
29	/** @addtogroup arm32	29	/** @addtogroup arm32
30	* @{	30	* @{
31	*/	31	*/
32	/** @file	32	/** @file
33	*/	33	*/
34		34
35	#include <interrupt.h>	35	#include <interrupt.h>
36	#include <ipc/irq.h>	36	#include <ipc/irq.h>
37	#include <console/chardev.h>	37	#include <console/chardev.h>
38	#include <arch/drivers/gxemul.h>	38	#include <arch/drivers/gxemul.h>
39	#include <console/console.h>	39	#include <console/console.h>
40	#include <sysinfo/sysinfo.h>	40	#include <sysinfo/sysinfo.h>
41	#include <print.h>	41	#include <print.h>
42	#include <ddi/device.h>	42	#include <ddi/device.h>
43	#include <mm/page.h>	43	#include <mm/page.h>
44	#include <arch/machine.h>	44	#include <arch/machine.h>
45		45
46	/** Address of devices. */	46	/** Address of devices. */
47	#define GXEMUL_VIDEORAM 0x10000000	47	#define GXEMUL_VIDEORAM 0x10000000
48	#define GXEMUL_KBD 0x10000000	48	#define GXEMUL_KBD 0x10000000
49	#define GXEMUL_RTC 0x15000000	49	#define GXEMUL_RTC 0x15000000
50	#define GXEMUL_RTC_FREQ_OFFSET 0x100	50	#define GXEMUL_RTC_FREQ_OFFSET 0x100
51	#define GXEMUL_RTC_ACK_OFFSET 0x110	51	#define GXEMUL_RTC_ACK_OFFSET 0x110
52	#define GXEMUL_IRQC 0x16000000	52	#define GXEMUL_IRQC 0x16000000
53	#define GXEMUL_IRQC_MASK_OFFSET 0x4	53	#define GXEMUL_IRQC_MASK_OFFSET 0x4
54	#define GXEMUL_IRQC_UNMASK_OFFSET 0x8	54	#define GXEMUL_IRQC_UNMASK_OFFSET 0x8
55	#define GXEMUL_MP 0x11000000	55	#define GXEMUL_MP 0x11000000
56	#define GXEMUL_MP_MEMSIZE_OFFSET 0x0090	56	#define GXEMUL_MP_MEMSIZE_OFFSET 0x0090
57		57
58		58
59	/** IRQs */	59	/** IRQs */
60	#define GXEMUL_KBD_IRQ 2	60	#define GXEMUL_KBD_IRQ 2
61	#define GXEMUL_TIMER_IRQ 4	61	#define GXEMUL_TIMER_IRQ 4
62		62
63	static gxemul_hw_map_t gxemul_hw_map;	63	static gxemul_hw_map_t gxemul_hw_map;
64	static chardev_t console;	64	static chardev_t console;
65	static irq_t gxemul_irq;	65	static irq_t gxemul_irq;
66	static irq_t gxemul_timer_irq;	66	static irq_t gxemul_timer_irq;
67		67
68	static void gxemul_write(chardev_t *dev, const char ch);	68	static void gxemul_write(chardev_t *dev, const char ch);
69	static void gxemul_enable(chardev_t *dev);	69	static void gxemul_enable(chardev_t *dev);
70	static void gxemul_disable(chardev_t *dev);	70	static void gxemul_disable(chardev_t *dev);
71	static char gxemul_do_read(chardev_t *dev);	71	static char gxemul_do_read(chardev_t *dev);
72		72
73	static chardev_operations_t gxemul_ops = {	73	static chardev_operations_t gxemul_ops = {
74	.resume = gxemul_enable,	74	.resume = gxemul_enable,
75	.suspend = gxemul_disable,	75	.suspend = gxemul_disable,
76	.write = gxemul_write,	76	.write = gxemul_write,
77	.read = gxemul_do_read,	77	.read = gxemul_do_read,
78	};	78	};
79		79
80		80
81	/** Initializes #gxemul_hw_map. */	81	/** Initializes #gxemul_hw_map. */
82	void gxemul_hw_map_init(void)	82	void gxemul_hw_map_init(void)
83	{	83	{
84	gxemul_hw_map.videoram = hw_map(GXEMUL_VIDEORAM, PAGE_SIZE);	84	gxemul_hw_map.videoram = hw_map(GXEMUL_VIDEORAM, PAGE_SIZE);
85	gxemul_hw_map.kbd = hw_map(GXEMUL_KBD, PAGE_SIZE);	85	gxemul_hw_map.kbd = hw_map(GXEMUL_KBD, PAGE_SIZE);
86	gxemul_hw_map.rtc = hw_map(GXEMUL_RTC, PAGE_SIZE);	86	gxemul_hw_map.rtc = hw_map(GXEMUL_RTC, PAGE_SIZE);
87	gxemul_hw_map.irqc = hw_map(GXEMUL_IRQC, PAGE_SIZE);	87	gxemul_hw_map.irqc = hw_map(GXEMUL_IRQC, PAGE_SIZE);
88		88
89	gxemul_hw_map.rtc_freq = gxemul_hw_map.rtc + GXEMUL_RTC_FREQ_OFFSET;	89	gxemul_hw_map.rtc_freq = gxemul_hw_map.rtc + GXEMUL_RTC_FREQ_OFFSET;
90	gxemul_hw_map.rtc_ack = gxemul_hw_map.rtc + GXEMUL_RTC_ACK_OFFSET;	90	gxemul_hw_map.rtc_ack = gxemul_hw_map.rtc + GXEMUL_RTC_ACK_OFFSET;
91	gxemul_hw_map.irqc_mask = gxemul_hw_map.irqc + GXEMUL_IRQC_MASK_OFFSET;	91	gxemul_hw_map.irqc_mask = gxemul_hw_map.irqc + GXEMUL_IRQC_MASK_OFFSET;
92	gxemul_hw_map.irqc_unmask = gxemul_hw_map.irqc + GXEMUL_IRQC_UNMASK_OFFSET;	92	gxemul_hw_map.irqc_unmask = gxemul_hw_map.irqc + GXEMUL_IRQC_UNMASK_OFFSET;
93		93
94	}	94	}
95		95
96	/** Putchar that works with gxemul */	96	/** Putchar that works with gxemul */
97	void gxemul_write(chardev_t *dev, const char ch)	97	void gxemul_write(chardev_t *dev, const char ch)
98	{	98	{
99	((char ) gxemul_hw_map.videoram) = ch;	99	((char ) gxemul_hw_map.videoram) = ch;
100	}	100	}
101		101
102	/* Called from getc(). */	102	/* Called from getc(). */
103	void gxemul_enable(chardev_t *dev)	103	void gxemul_enable(chardev_t *dev)
104	{	104	{
105	// cp0_unmask_int(GXEMUL_KBD_IRQ);	105	// cp0_unmask_int(GXEMUL_KBD_IRQ);
106	gxemul_irqc_unmask(GXEMUL_KBD_IRQ);	106	gxemul_irqc_unmask(GXEMUL_KBD_IRQ);
107	}	107	}
108		108
109	/* Called from getc(). */	109	/* Called from getc(). */
110	void gxemul_disable(chardev_t *dev)	110	void gxemul_disable(chardev_t *dev)
111	{	111	{
112	// cp0_mask_int(GXEMUL_KBD_IRQ);	112	// cp0_mask_int(GXEMUL_KBD_IRQ);
113	gxemul_irqc_mask(GXEMUL_KBD_IRQ);	113	gxemul_irqc_mask(GXEMUL_KBD_IRQ);
114	}	114	}
115		115
116	/** Read character using polling, assume interrupts disabled */	116	/** Read character using polling, assume interrupts disabled */
117	static char gxemul_do_read(chardev_t *dev)	117	static char gxemul_do_read(chardev_t *dev)
118	{	118	{
119	char ch;	119	char ch;
120		120
121	while (1) {	121	while (1) {
122	ch = ((volatile char ) gxemul_hw_map.kbd);	122	ch = ((volatile char ) gxemul_hw_map.kbd);
123	if (ch) {	123	if (ch) {
124	if (ch == '\r')	124	if (ch == '\r')
125	return '\n';	125	return '\n';
126	if (ch == 0x7f)	126	if (ch == 0x7f)
127	return '\b';	127	return '\b';
128	return ch;	128	return ch;
129	}	129	}
130	}	130	}
131	}	131	}
132		132
133	/** Process keyboard interrupt. */	133	/** Process keyboard interrupt. */
134	static void gxemul_irq_handler(irq_t irq, void arg, ...)	134	static void gxemul_irq_handler(irq_t irq, void arg, ...)
135	{	135	{
136	if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox))	136	if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox))
137	ipc_irq_send_notif(irq);	137	ipc_irq_send_notif(irq);
138	else {	138	else {
139	char ch = 0;	139	char ch = 0;
140		140
141	ch = ((char ) gxemul_hw_map.kbd);	141	ch = ((char ) gxemul_hw_map.kbd);
142	if (ch =='\r')	142	if (ch =='\r')
143	ch = '\n';	143	ch = '\n';
144	if (ch == 0x7f)	144	if (ch == 0x7f)
145	ch = '\b';	145	ch = '\b';
146	chardev_push_character(&console, ch);	146	chardev_push_character(&console, ch);
147	}	147	}
148	}	148	}
149		149
150	static irq_ownership_t gxemul_claim(void)	150	static irq_ownership_t gxemul_claim(void)
151	{	151	{
152	return IRQ_ACCEPT;	152	return IRQ_ACCEPT;
153	}	153	}
154		154
155	void machine_grab_console(void)	155	void machine_grab_console(void)
156	{	156	{
157	ipl_t ipl = interrupts_disable();	157	ipl_t ipl = interrupts_disable();
158	spinlock_lock(&gxemul_irq.lock);	158	spinlock_lock(&gxemul_irq.lock);
159	gxemul_irq.notif_cfg.notify = false;	159	gxemul_irq.notif_cfg.notify = false;
160	spinlock_unlock(&gxemul_irq.lock);	160	spinlock_unlock(&gxemul_irq.lock);
161	interrupts_restore(ipl);	161	interrupts_restore(ipl);
162	}	162	}
163		163
164	void machine_release_console(void)	164	void machine_release_console(void)
165	{	165	{
166	ipl_t ipl = interrupts_disable();	166	ipl_t ipl = interrupts_disable();
167	spinlock_lock(&gxemul_irq.lock);	167	spinlock_lock(&gxemul_irq.lock);
168	if (gxemul_irq.notif_cfg.answerbox)	168	if (gxemul_irq.notif_cfg.answerbox)
169	gxemul_irq.notif_cfg.notify = true;	169	gxemul_irq.notif_cfg.notify = true;
170	spinlock_unlock(&gxemul_irq.lock);	170	spinlock_unlock(&gxemul_irq.lock);
171	interrupts_restore(ipl);	171	interrupts_restore(ipl);
172	}	172	}
173		173
174		174
175	/** Return console object representing gxemul console */	175	/** Return console object representing gxemul console */
176	void machine_console_init(devno_t devno)	176	void machine_console_init(devno_t devno)
177	{	177	{
178	chardev_initialize("gxemul_console", &console, &gxemul_ops);	178	chardev_initialize("gxemul_console", &console, &gxemul_ops);
179	stdin = &console;	179	stdin = &console;
180	stdout = &console;	180	stdout = &console;
181		181
182	irq_initialize(&gxemul_irq);	182	irq_initialize(&gxemul_irq);
183	gxemul_irq.devno = devno;	183	gxemul_irq.devno = devno;
184	gxemul_irq.inr = GXEMUL_KBD_IRQ;	184	gxemul_irq.inr = GXEMUL_KBD_IRQ;
185	gxemul_irq.claim = gxemul_claim;	185	gxemul_irq.claim = gxemul_claim;
186	gxemul_irq.handler = gxemul_irq_handler;	186	gxemul_irq.handler = gxemul_irq_handler;
187	irq_register(&gxemul_irq);	187	irq_register(&gxemul_irq);
188		188
189	// cp0_unmask_int(GXEMUL_KBD_IRQ);	189	// cp0_unmask_int(GXEMUL_KBD_IRQ);
190	gxemul_irqc_unmask(GXEMUL_KBD_IRQ);	190	gxemul_irqc_unmask(GXEMUL_KBD_IRQ);
191		191
192	sysinfo_set_item_val("kbd", NULL, true);	192	sysinfo_set_item_val("kbd", NULL, true);
193	sysinfo_set_item_val("kbd.devno", NULL, devno);	193	sysinfo_set_item_val("kbd.devno", NULL, devno);
194	sysinfo_set_item_val("kbd.inr", NULL, GXEMUL_KBD_IRQ);	194	sysinfo_set_item_val("kbd.inr", NULL, GXEMUL_KBD_IRQ);
195	sysinfo_set_item_val("kbd.address.virtual", NULL, gxemul_hw_map.kbd);	195	sysinfo_set_item_val("kbd.address.virtual", NULL, gxemul_hw_map.kbd);
196	}	196	}
197		197
198	/** Return the mask of active interrupts. */	198	/** Return the mask of active interrupts. */
199	inline uint32_t gxemul_irqc_get_sources(void)	199	inline uint32_t gxemul_irqc_get_sources(void)
200	{	200	{
201	return (uint32_t) gxemul_hw_map.irqc;	201	return (uint32_t) gxemul_hw_map.irqc;
202	}	202	}
203		203
204	/** Masks interrupt.	204	/** Masks interrupt.
205	*	205	*
206	* @param irq interrupt number	206	* @param irq interrupt number
207	*/	207	*/
208	inline void gxemul_irqc_mask(uint32_t irq)	208	inline void gxemul_irqc_mask(uint32_t irq)
209	{	209	{
210	(uint32_t) gxemul_hw_map.irqc_mask = irq;	210	(uint32_t) gxemul_hw_map.irqc_mask = irq;
211	}	211	}
212		212
213	/** Unmasks interrupt.	213	/** Unmasks interrupt.
214	*	214	*
215	* @param irq interrupt number	215	* @param irq interrupt number
216	*/	216	*/
217	inline void gxemul_irqc_unmask(uint32_t irq)	217	inline void gxemul_irqc_unmask(uint32_t irq)
218	{	218	{
219	(uint32_t) gxemul_hw_map.irqc_unmask = irq;	219	(uint32_t) gxemul_hw_map.irqc_unmask = irq;
220	}	220	}
221		221
222		222
223	/** Starts gxemul Real Time Clock device, which asserts regular interrupts.	223	/** Starts gxemul Real Time Clock device, which asserts regular interrupts.
224	*	224	*
225	* @param frequency interrupts frequency (0 disables RTC)	225	* @param frequency interrupts frequency (0 disables RTC)
226	*/	226	*/
227	void gxemul_timer_start(uint32_t frequency)	227	void gxemul_timer_start(uint32_t frequency)
228	{	228	{
229	(uint32_t) gxemul_hw_map.rtc_freq = frequency;	229	(uint32_t) gxemul_hw_map.rtc_freq = frequency;
230	}	230	}
231		231
232	static irq_ownership_t gxemul_timer_claim(void)	232	static irq_ownership_t gxemul_timer_claim(void)
233	{	233	{
234	return IRQ_ACCEPT;	234	return IRQ_ACCEPT;
235	}	235	}
236		236
237	static void gxemul_timer_irq_handler(irq_t irq, void arg, ...)	237	static void gxemul_timer_irq_handler(irq_t irq, void arg, ...)
238	{	238	{
239	/* TODO time drifts ??	239	/* TODO time drifts ??
240	unsigned long drift;	240	unsigned long drift;
241		241
242	drift = cp0_count_read() - nextcount;	242	drift = cp0_count_read() - nextcount;
243	while (drift > cp0_compare_value) {	243	while (drift > cp0_compare_value) {
244	drift -= cp0_compare_value;	244	drift -= cp0_compare_value;
245	CPU->missed_clock_ticks++;	245	CPU->missed_clock_ticks++;
246	}	246	}
247	nextcount = cp0_count_read() + cp0_compare_value - drift;	247	nextcount = cp0_count_read() + cp0_compare_value - drift;
248	cp0_compare_write(nextcount);	248	cp0_compare_write(nextcount);
249	*/	249	*/
250		250
251	/*	251	/*
252	* We are holding a lock which prevents preemption.	252	* We are holding a lock which prevents preemption.
253	* Release the lock, call clock() and reacquire the lock again.	253	* Release the lock, call clock() and reacquire the lock again.
254	*/	254	*/
255	spinlock_unlock(&irq->lock);	255	spinlock_unlock(&irq->lock);
256	// clock();	256	clock();
257	spinlock_lock(&irq->lock);	257	spinlock_lock(&irq->lock);
258		258
259	/* acknowledge tick */	259	/* acknowledge tick */
260	(uint32_t) gxemul_hw_map.rtc_ack = 0;	260	(uint32_t) gxemul_hw_map.rtc_ack = 0;
261		261
262	/* TODO what's that? *	262	/* TODO what's that? *
263	if (virtual_timer_fnc != NULL)	263	if (virtual_timer_fnc != NULL)
264	virtual_timer_fnc();	264	virtual_timer_fnc();
265	*/	265	*/
266	}	266	}
267		267
268	/**	268	/**
269	* Initializes and registers timer interrupt handler.	269	* Initializes and registers timer interrupt handler.
270	*/	270	*/
271	void gxemul_timer_irq_init()	271	void gxemul_timer_irq_init()
272	{	272	{
273	irq_initialize(&gxemul_timer_irq);	273	irq_initialize(&gxemul_timer_irq);
274	gxemul_timer_irq.devno = device_assign_devno();	274	gxemul_timer_irq.devno = device_assign_devno();
275	gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;	275	gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;
276	gxemul_timer_irq.claim = gxemul_timer_claim;	276	gxemul_timer_irq.claim = gxemul_timer_claim;
277	gxemul_timer_irq.handler = gxemul_timer_irq_handler;	277	gxemul_timer_irq.handler = gxemul_timer_irq_handler;
278		278
279	irq_register(&gxemul_timer_irq);	279	irq_register(&gxemul_timer_irq);
280	}	280	}
281		281
282	void machine_timer_irq_start()	282	void machine_timer_irq_start()
283	{	283	{
284	gxemul_timer_irq_init();	284	gxemul_timer_irq_init();
285	gxemul_timer_start(GXEMUL_TIMER_FREQ);	285	gxemul_timer_start(GXEMUL_TIMER_FREQ);
286	}	286	}
287		287
288	size_t machine_get_memory_size(void)	288	size_t machine_get_memory_size(void)
289	{	289	{
290	return ((int)(GXEMUL_MP + GXEMUL_MP_MEMSIZE_OFFSET));	290	return ((int)(GXEMUL_MP + GXEMUL_MP_MEMSIZE_OFFSET));
291	}	291	}
292		292
293	void gxemul_debug_putc(char ch) {	293	void gxemul_debug_putc(char ch) {
294	// ((volatile char ) GXEMUL_KBD) = ch;	294	// ((volatile char ) GXEMUL_KBD) = ch;
295	//TODO commented version doesn't work, don't know why (as ??	295	//TODO commented version doesn't work, don't know why (as ??
296	((char ) gxemul_hw_map.videoram) = ch;	296	((char ) gxemul_hw_map.videoram) = ch;
297	}	297	}
298		298
299	/** @}	299	/** @}
300	*/	300	*/
301		301