Rev 4669 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4669 | Rev 4691 | ||
---|---|---|---|
1 | /* |
1 | /* |
2 | * Copyright (c) 2007 Michal Kebrt |
2 | * Copyright (c) 2007 Michal Kebrt |
3 | * Copyright (c) 2009 Vineeth Pillai |
3 | * Copyright (c) 2009 Vineeth Pillai |
4 | * All rights reserved. |
4 | * All rights reserved. |
5 | * |
5 | * |
6 | * Redistribution and use in source and binary forms, with or without |
6 | * Redistribution and use in source and binary forms, with or without |
7 | * modification, are permitted provided that the following conditions |
7 | * modification, are permitted provided that the following conditions |
8 | * are met: |
8 | * are met: |
9 | * |
9 | * |
10 | * - Redistributions of source code must retain the above copyright |
10 | * - Redistributions of source code must retain the above copyright |
11 | * notice, this list of conditions and the following disclaimer. |
11 | * notice, this list of conditions and the following disclaimer. |
12 | * - Redistributions in binary form must reproduce the above copyright |
12 | * - Redistributions in binary form must reproduce the above copyright |
13 | * notice, this list of conditions and the following disclaimer in the |
13 | * notice, this list of conditions and the following disclaimer in the |
14 | * documentation and/or other materials provided with the distribution. |
14 | * documentation and/or other materials provided with the distribution. |
15 | * - The name of the author may not be used to endorse or promote products |
15 | * - The name of the author may not be used to endorse or promote products |
16 | * derived from this software without specific prior written permission. |
16 | * derived from this software without specific prior written permission. |
17 | * |
17 | * |
18 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
18 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
19 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
19 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
20 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
20 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
21 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
21 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
22 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
22 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
23 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
23 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
24 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
24 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
25 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
25 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
26 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
26 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
27 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
27 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
28 | */ |
28 | */ |
29 | 29 | ||
30 | /** @addtogroup arm32 |
30 | /** @addtogroup arm32 |
31 | * @{ |
31 | * @{ |
32 | */ |
32 | */ |
33 | /** @file |
33 | /** @file |
34 | * @brief Declarations of machine specific functions. |
34 | * @brief Declarations of machine specific functions. |
35 | * |
35 | * |
36 | * These functions enable to differentiate more kinds of ARM emulators |
36 | * These functions enable to differentiate more kinds of ARM emulators |
37 | * or CPUs. It's the same concept as "arch" functions on the architecture |
37 | * or CPUs. It's the same concept as "arch" functions on the architecture |
38 | * level. |
38 | * level. |
39 | */ |
39 | */ |
40 | 40 | ||
41 | #ifndef KERN_arm32_MACHINE_FUNC_H_ |
41 | #ifndef KERN_arm32_MACHINE_FUNC_H_ |
42 | #define KERN_arm32_MACHINE_FUNC_H_ |
42 | #define KERN_arm32_MACHINE_FUNC_H_ |
43 | 43 | ||
44 | #include <console/console.h> |
44 | #include <console/console.h> |
45 | #include <arch/types.h> |
45 | #include <arch/types.h> |
46 | #include <arch/exception.h> |
46 | #include <arch/exception.h> |
47 | 47 | ||
48 | #define MACHINE_GENFUNC machine_genfunc |
48 | #define MACHINE_GENFUNC machine_genfunc |
49 | 49 | ||
50 | struct arm_machine_ops { |
50 | struct arm_machine_ops { |
51 | void (*machine_grab_console)(void); |
51 | void (*machine_grab_console)(void); |
52 | void (*machine_release_console)(void); |
52 | void (*machine_release_console)(void); |
53 | void (*machine_init)(void); |
53 | void (*machine_init)(void); |
54 | void (*machine_timer_irq_start)(void); |
54 | void (*machine_timer_irq_start)(void); |
55 | void (*machine_cpu_halt)(void); |
55 | void (*machine_cpu_halt)(void); |
56 | uintptr_t (*machine_get_memory_size)(void); |
56 | uintptr_t (*machine_get_memory_size)(void); |
57 | void (*machine_fb_init)(void); |
57 | void (*machine_fb_init)(void); |
58 | void (*machine_irq_exception)(int, istate_t*); |
58 | void (*machine_irq_exception)(int, istate_t*); |
59 | uintptr_t (*machine_get_fb_address)(void); |
59 | uintptr_t (*machine_get_fb_address)(void); |
60 | void (*machine_frame_init)(void); |
60 | void (*machine_frame_init)(void); |
61 | void (*machine_output_init)(void); |
61 | void (*machine_output_init)(void); |
62 | void (*machine_input_init)(void); |
62 | void (*machine_input_init)(void); |
63 | }; |
63 | }; |
64 | 64 | ||
65 | extern struct arm_machine_ops machine_ops; |
65 | extern struct arm_machine_ops machine_ops; |
66 | 66 | ||
67 | 67 | ||
68 | /** Acquire console back for kernel. */ |
68 | /** Acquire console back for kernel. */ |
69 | extern void machine_grab_console(void); |
69 | extern void machine_grab_console(void); |
70 | 70 | ||
71 | /** Return console to userspace. */ |
71 | /** Return console to userspace. */ |
72 | extern void machine_release_console(void); |
72 | extern void machine_release_console(void); |
73 | 73 | ||
74 | 74 | ||
75 | /** Maps HW devices to the kernel address space using #hw_map. */ |
75 | /** Maps HW devices to the kernel address space using #hw_map. */ |
76 | extern void machine_init(void); |
76 | extern void machine_init(void); |
77 | 77 | ||
78 | 78 | ||
79 | /** Starts timer. */ |
79 | /** Starts timer. */ |
80 | extern void machine_timer_irq_start(void); |
80 | extern void machine_timer_irq_start(void); |
81 | 81 | ||
82 | 82 | ||
83 | /** Halts CPU. */ |
83 | /** Halts CPU. */ |
84 | extern void machine_cpu_halt(void); |
84 | extern void machine_cpu_halt(void); |
85 | 85 | ||
86 | 86 | ||
87 | /** Returns size of available memory. |
87 | /** Returns size of available memory. |
88 | * |
88 | * |
89 | * @return Size of available memory. |
89 | * @return Size of available memory. |
90 | */ |
90 | */ |
91 | extern uintptr_t machine_get_memory_size(void); |
91 | extern uintptr_t machine_get_memory_size(void); |
92 | 92 | ||
93 | /** Initializes the Frame Buffer |
93 | /** Initializes the Frame Buffer |
94 | * |
94 | * |
95 | */ |
95 | */ |
96 | extern void machine_fb_init(void); |
96 | extern void machine_fb_init(void); |
97 | 97 | ||
98 | 98 | ||
99 | /** Interrupt exception handler. |
99 | /** Interrupt exception handler. |
100 | * |
100 | * |
101 | * @param exc_no Interrupt exception number. |
101 | * @param exc_no Interrupt exception number. |
102 | * @param istate Saved processor state. |
102 | * @param istate Saved processor state. |
103 | */ |
103 | */ |
104 | extern void machine_irq_exception(int exc_no, istate_t *istate); |
104 | extern void machine_irq_exception(int exc_no, istate_t *istate); |
105 | 105 | ||
106 | 106 | ||
107 | /** Returns address of framebuffer device. |
107 | /** Returns address of framebuffer device. |
108 | * |
108 | * |
109 | * @return Address of framebuffer device. |
109 | * @return Address of framebuffer device. |
110 | */ |
110 | */ |
111 | extern uintptr_t machine_get_fb_address(void); |
111 | extern uintptr_t machine_get_fb_address(void); |
112 | 112 | ||
113 | /* |
113 | /* |
114 | * Machine specific frame initialization |
114 | * Machine specific frame initialization |
115 | */ |
115 | */ |
116 | extern void machine_frame_init(void); |
116 | extern void machine_frame_init(void); |
117 | 117 | ||
118 | /* |
118 | /* |
119 | * configure the serial line output device. |
119 | * configure the serial line output device. |
120 | */ |
120 | */ |
121 | extern void machine_output_init(void); |
121 | extern void machine_output_init(void); |
122 | 122 | ||
123 | /* |
123 | /* |
124 | * configure the serial line input device. |
124 | * configure the serial line input device. |
125 | */ |
125 | */ |
126 | extern void machine_input_init(void); |
126 | extern void machine_input_init(void); |
127 | 127 | ||
128 | extern void machine_genfunc(void); |
128 | extern void machine_genfunc(void); |
129 | #endif |
129 | #endif |
130 | 130 | ||
131 | /** @} |
131 | /** @} |
132 | */ |
132 | */ |
133 | 133 |