WebSVN – HelenOS – Diff – /trunk/kernel/arch/arm32/include/machine.h


/*
 * Copyright (c) 2007 Michal Kebrt
 * 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
 *  @brief Declarations of machine specific functions.
 *
 *  These functions enable to differentiate more kinds of ARM emulators
 *  or CPUs. It's the same concept as "arch" functions on the architecture
 *  level.
 */
 
#ifndef KERN_arm32_MACHINE_H_
#define KERN_arm32_MACHINE_H_
 
#include <console/console.h>
#include <arch/types.h>
#include <arch/exception.h>
#include <arch/drivers/gxemul.h>
 
 
/** Initializes console.
 *
 * @param devno Console device number.
 */
extern void machine_console_init(devno_t devno);
 
 
/** Acquire console back for kernel. */
extern void machine_grab_console(void);
 
 
/** Return console to userspace. */
extern void machine_release_console(void);
 
 
/** Maps HW devices to the kernel address space using #hw_map. */
extern void machine_hw_map_init(void);
 
 
/** Starts timer. */
extern void machine_timer_irq_start(void);
 
 
/** Halts CPU. */
extern void machine_cpu_halt(void);
 
 
/** Returns size of available memory.
 *
 *  @return Size of available memory.
 */
extern size_t machine_get_memory_size(void);
 
 
/** Prints a character.
 *
 *  @param ch Character to be printed.
 */
extern void machine_debug_putc(char ch);
 
 
/** Interrupt exception handler.
 *
 * @param exc_no Interrupt exception number.
 * @param istate Saved processor state.
 */
extern void machine_irq_exception(int exc_no, istate_t *istate);
 
 
/** Returns address of framebuffer device.
 *
 *  @return Address of framebuffer device.
 */
extern uintptr_t machine_get_fb_address(void);
 
 
#ifdef MACHINE_GXEMUL_TESTARM   
#define machine_console_init(devno)           gxemul_console_init(devno)
#define machine_grab_console                  gxemul_grab_console
#define machine_release_console               gxemul_release_console 
#define machine_hw_map_init                   gxemul_hw_map_init
#define machine_timer_irq_start               gxemul_timer_irq_start
#define machine_cpu_halt                      gxemul_cpu_halt
#define machine_get_memory_size               gxemul_get_memory_size
#define machine_debug_putc(ch)                gxemul_debug_putc(ch)
#define machine_irq_exception(exc_no, istate) \
        gxemul_irq_exception(exc_no, istate)
#define machine_get_fb_address                gxemul_get_fb_address
#endif
 
#endif
 
/** @}
 */
 

Subversion Repositories HelenOS

(root)/trunk/kernel/arch/arm32/include/machine.h – Rev 2464 → 2465

Rev 2464		Rev 2465
1	/*	1	/*
2	* Copyright (c) 2007 Michal Kebrt	2	* Copyright (c) 2007 Michal Kebrt
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	* @brief Declarations of machine specific functions.	33	* @brief Declarations of machine specific functions.
34	*	34	*
35	* These functions enable to differentiate more kinds of ARM emulators	35	* These functions enable to differentiate more kinds of ARM emulators
36	* or CPUs. It's the same concept as "arch" functions on the architecture	36	* or CPUs. It's the same concept as "arch" functions on the architecture
37	* level.	37	* level.
38	*/	38	*/
39		39
40	#ifndef KERN_arm32_MACHINE_H_	40	#ifndef KERN_arm32_MACHINE_H_
41	#define KERN_arm32_MACHINE_H_	41	#define KERN_arm32_MACHINE_H_
42		42
43	#include <console/console.h>	43	#include <console/console.h>
44	#include <arch/types.h>	44	#include <arch/types.h>
45	#include <arch/exception.h>	45	#include <arch/exception.h>
46	#include <arch/drivers/gxemul.h>	46	#include <arch/drivers/gxemul.h>
47		47
48		48
49	/** Initializes console.	49	/** Initializes console.
50	*	50	*
51	* @param devno Console device number.	51	* @param devno Console device number.
52	*/	52	*/
53	extern void machine_console_init(devno_t devno);	53	extern void machine_console_init(devno_t devno);
54		54
55		55
56	/** Acquire console back for kernel. */	56	/** Acquire console back for kernel. */
57	extern void machine_grab_console(void);	57	extern void machine_grab_console(void);
58		58
59		59
60	/** Return console to userspace. */	60	/** Return console to userspace. */
61	extern void machine_release_console(void);	61	extern void machine_release_console(void);
62		62
63		63
64	/** Maps HW devices to the kernel address space using #hw_map. */	64	/** Maps HW devices to the kernel address space using #hw_map. */
65	extern void machine_hw_map_init(void);	65	extern void machine_hw_map_init(void);
66		66
67		67
68	/** Starts timer. */	68	/** Starts timer. */
69	extern void machine_timer_irq_start(void);	69	extern void machine_timer_irq_start(void);
70		70
71		71
72	/** Halts CPU. */	72	/** Halts CPU. */
73	extern void machine_cpu_halt(void);	73	extern void machine_cpu_halt(void);
74		74
75		75
76	/** Returns size of available memory.	76	/** Returns size of available memory.
77	*	77	*
78	* @return Size of available memory.	78	* @return Size of available memory.
79	*/	79	*/
80	extern size_t machine_get_memory_size(void);	80	extern size_t machine_get_memory_size(void);
81		81
82		82
83	/** Prints a character.	83	/** Prints a character.
84	*	84	*
85	* @param ch Character to be printed.	85	* @param ch Character to be printed.
86	*/	86	*/
87	extern void machine_debug_putc(char ch);	87	extern void machine_debug_putc(char ch);
88		88
89		89
90	/** Interrupt exception handler.	90	/** Interrupt exception handler.
91	*	91	*
92	* @param exc_no Interrupt exception number.	92	* @param exc_no Interrupt exception number.
93	* @param istate Saved processor state.	93	* @param istate Saved processor state.
94	*/	94	*/
95	extern void machine_irq_exception(int exc_no, istate_t *istate);	95	extern void machine_irq_exception(int exc_no, istate_t *istate);
96		96
97		97
98	/** Returns address of framebuffer device.	98	/** Returns address of framebuffer device.
99	*	99	*
100	* @return Address of framebuffer device.	100	* @return Address of framebuffer device.
101	*/	101	*/
102	extern uintptr_t machine_get_fb_address(void);	102	extern uintptr_t machine_get_fb_address(void);
103		103
104		104
105	#ifdef MACHINE_GXEMUL_TESTARM	105	#ifdef MACHINE_GXEMUL_TESTARM
106	#define machine_console_init(devno) gxemul_console_init(devno)	106	#define machine_console_init(devno) gxemul_console_init(devno)
107	#define machine_grab_console gxemul_grab_console	107	#define machine_grab_console gxemul_grab_console
108	#define machine_release_console gxemul_release_console	108	#define machine_release_console gxemul_release_console
109	#define machine_hw_map_init gxemul_hw_map_init	109	#define machine_hw_map_init gxemul_hw_map_init
110	#define machine_timer_irq_start gxemul_timer_irq_start	110	#define machine_timer_irq_start gxemul_timer_irq_start
111	#define machine_cpu_halt gxemul_cpu_halt	111	#define machine_cpu_halt gxemul_cpu_halt
112	#define machine_get_memory_size gxemul_get_memory_size	112	#define machine_get_memory_size gxemul_get_memory_size
113	#define machine_debug_putc(ch) gxemul_debug_putc(ch)	113	#define machine_debug_putc(ch) gxemul_debug_putc(ch)
114	#define machine_irq_exception(exc_no, istate) \	114	#define machine_irq_exception(exc_no, istate) \
115	gxemul_irq_exception(exc_no, istate)	115	gxemul_irq_exception(exc_no, istate)
116	#define machine_get_fb_address gxemul_get_fb_address	116	#define machine_get_fb_address gxemul_get_fb_address
117	#endif	117	#endif
118		118
119	#endif	119	#endif
120		120
121	/** @}	121	/** @}
122	*/	122	*/
123		123