Pip
Architecture-dependent parts of Pip: MAL, IAL and boot
asm_int.h
Go to the documentation of this file.
1 /*******************************************************************************/
2 /* © Université de Lille, The Pip Development Team (2015-2021) */
3 /* */
4 /* This software is a computer program whose purpose is to run a minimal, */
5 /* hypervisor relying on proven properties such as memory isolation. */
6 /* */
7 /* This software is governed by the CeCILL license under French law and */
8 /* abiding by the rules of distribution of free software. You can use, */
9 /* modify and/ or redistribute the software under the terms of the CeCILL */
10 /* license as circulated by CEA, CNRS and INRIA at the following URL */
11 /* "http://www.cecill.info". */
12 /* */
13 /* As a counterpart to the access to the source code and rights to copy, */
14 /* modify and redistribute granted by the license, users are provided only */
15 /* with a limited warranty and the software's author, the holder of the */
16 /* economic rights, and the successive licensors have only limited */
17 /* liability. */
18 /* */
19 /* In this respect, the user's attention is drawn to the risks associated */
20 /* with loading, using, modifying and/or developing or reproducing the */
21 /* software by the user in light of its specific status of free software, */
22 /* that may mean that it is complicated to manipulate, and that also */
23 /* therefore means that it is reserved for developers and experienced */
24 /* professionals having in-depth computer knowledge. Users are therefore */
25 /* encouraged to load and test the software's suitability as regards their */
26 /* requirements in conditions enabling the security of their systems and/or */
27 /* data to be ensured and, more generally, to use and operate it in the */
28 /* same conditions as regards security. */
29 /* */
30 /* The fact that you are presently reading this means that you have had */
31 /* knowledge of the CeCILL license and that you accept its terms. */
32 /*******************************************************************************/
33 
34 #ifndef ASM_INT_H
35 #define ASM_INT_H
36 
41 typedef void (*callback_t)(void);
42 
43 
44 extern void fault_DE_asm(void);
45 extern void fault_DB_asm(void);
46 extern void fault_NMI_asm(void);
47 extern void fault_BP_asm(void);
48 extern void fault_OF_asm(void);
49 extern void fault_BR_asm(void);
50 extern void fault_UD_asm(void);
51 extern void fault_NM_asm(void);
52 extern void fault_DF_asm(void);
53 extern void fault_CSO_asm(void);
54 extern void fault_TS_asm(void);
55 extern void fault_NP_asm(void);
56 extern void fault_SS_asm(void);
57 extern void fault_GP_asm(void);
58 extern void fault_PF_asm(void);
59 extern void fault_RES_asm(void);
60 extern void fault_MF_asm(void);
61 extern void fault_AC_asm(void);
62 extern void fault_MC_asm(void);
63 extern void fault_XM_asm(void);
64 extern void fault_VE_asm(void);
65 extern void fault_RES_asm(void);
66 extern void fault_RES_asm(void);
67 extern void fault_RES_asm(void);
68 extern void fault_RES_asm(void);
69 extern void fault_RES_asm(void);
70 extern void fault_RES_asm(void);
71 extern void fault_RES_asm(void);
72 extern void fault_RES_asm(void);
73 extern void fault_RES_asm(void);
74 extern void fault_RES_asm(void);
75 extern void fault_RES_asm(void);
76 extern void hardware_ALRM_asm(void);
77 extern void hardware_KEYB_asm(void);
78 extern void hardware_CASC_asm(void);
79 extern void hardware_COM2_asm(void);
80 extern void hardware_COM1_asm(void);
81 extern void hardware_LPT2_asm(void);
82 extern void hardware_FLPD_asm(void);
83 extern void hardware_SPUR_asm(void);
84 extern void hardware_RTC_asm(void);
85 extern void hardware_PER1_asm(void);
86 extern void hardware_PER2_asm(void);
87 extern void hardware_PER3_asm(void);
88 extern void hardware_PS2M_asm(void);
89 extern void hardware_FPU_asm(void);
90 extern void hardware_PHD_asm(void);
91 extern void hardware_SHD_asm(void);
92 extern void software_48_asm(void);
93 extern void software_49_asm(void);
94 extern void software_50_asm(void);
95 extern void software_51_asm(void);
96 extern void software_52_asm(void);
97 extern void software_53_asm(void);
98 extern void software_54_asm(void);
99 extern void software_55_asm(void);
100 extern void software_56_asm(void);
101 extern void software_57_asm(void);
102 extern void software_58_asm(void);
103 extern void software_59_asm(void);
104 extern void software_60_asm(void);
105 extern void software_61_asm(void);
106 extern void software_62_asm(void);
107 extern void software_63_asm(void);
108 extern void software_64_asm(void);
109 extern void software_65_asm(void);
110 extern void software_66_asm(void);
111 extern void software_67_asm(void);
112 extern void software_68_asm(void);
113 extern void software_69_asm(void);
114 extern void software_70_asm(void);
115 extern void software_71_asm(void);
116 extern void software_72_asm(void);
117 extern void software_73_asm(void);
118 extern void software_74_asm(void);
119 extern void software_75_asm(void);
120 extern void software_76_asm(void);
121 extern void software_77_asm(void);
122 extern void software_78_asm(void);
123 extern void software_79_asm(void);
124 extern void software_80_asm(void);
125 extern void software_81_asm(void);
126 extern void software_82_asm(void);
127 extern void software_83_asm(void);
128 extern void software_84_asm(void);
129 extern void software_85_asm(void);
130 extern void software_86_asm(void);
131 extern void software_87_asm(void);
132 extern void software_88_asm(void);
133 extern void software_89_asm(void);
134 extern void software_90_asm(void);
135 extern void software_91_asm(void);
136 extern void software_92_asm(void);
137 extern void software_93_asm(void);
138 extern void software_94_asm(void);
139 extern void software_95_asm(void);
140 extern void software_96_asm(void);
141 extern void software_97_asm(void);
142 extern void software_98_asm(void);
143 extern void software_99_asm(void);
144 extern void software_100_asm(void);
145 extern void software_101_asm(void);
146 extern void software_102_asm(void);
147 extern void software_103_asm(void);
148 extern void software_104_asm(void);
149 extern void software_105_asm(void);
150 extern void software_106_asm(void);
151 extern void software_107_asm(void);
152 extern void software_108_asm(void);
153 extern void software_109_asm(void);
154 extern void software_110_asm(void);
155 extern void software_111_asm(void);
156 extern void software_112_asm(void);
157 extern void software_113_asm(void);
158 extern void software_114_asm(void);
159 extern void software_115_asm(void);
160 extern void software_116_asm(void);
161 extern void software_117_asm(void);
162 extern void software_118_asm(void);
163 extern void software_119_asm(void);
164 extern void software_120_asm(void);
165 extern void software_121_asm(void);
166 extern void software_122_asm(void);
167 extern void software_123_asm(void);
168 extern void software_124_asm(void);
169 extern void software_125_asm(void);
170 extern void software_126_asm(void);
171 extern void software_127_asm(void);
172 extern void software_128_asm(void);
173 extern void software_129_asm(void);
174 extern void software_130_asm(void);
175 extern void software_131_asm(void);
176 extern void software_132_asm(void);
177 extern void software_133_asm(void);
178 extern void software_134_asm(void);
179 extern void software_135_asm(void);
180 extern void software_136_asm(void);
181 extern void software_137_asm(void);
182 extern void software_138_asm(void);
183 extern void software_139_asm(void);
184 extern void software_140_asm(void);
185 extern void software_141_asm(void);
186 extern void software_142_asm(void);
187 extern void software_143_asm(void);
188 extern void software_144_asm(void);
189 extern void software_145_asm(void);
190 extern void software_146_asm(void);
191 extern void software_147_asm(void);
192 extern void software_148_asm(void);
193 extern void software_149_asm(void);
194 extern void software_150_asm(void);
195 extern void software_151_asm(void);
196 extern void software_152_asm(void);
197 extern void software_153_asm(void);
198 extern void software_154_asm(void);
199 extern void software_155_asm(void);
200 extern void software_156_asm(void);
201 extern void software_157_asm(void);
202 extern void software_158_asm(void);
203 extern void software_159_asm(void);
204 extern void software_160_asm(void);
205 extern void software_161_asm(void);
206 extern void software_162_asm(void);
207 extern void software_163_asm(void);
208 extern void software_164_asm(void);
209 extern void software_165_asm(void);
210 extern void software_166_asm(void);
211 extern void software_167_asm(void);
212 extern void software_168_asm(void);
213 extern void software_169_asm(void);
214 extern void software_170_asm(void);
215 extern void software_171_asm(void);
216 extern void software_172_asm(void);
217 extern void software_173_asm(void);
218 extern void software_174_asm(void);
219 extern void software_175_asm(void);
220 extern void software_176_asm(void);
221 extern void software_177_asm(void);
222 extern void software_178_asm(void);
223 extern void software_179_asm(void);
224 extern void software_180_asm(void);
225 extern void software_181_asm(void);
226 extern void software_182_asm(void);
227 extern void software_183_asm(void);
228 extern void software_184_asm(void);
229 extern void software_185_asm(void);
230 extern void software_186_asm(void);
231 extern void software_187_asm(void);
232 extern void software_188_asm(void);
233 extern void software_189_asm(void);
234 extern void software_190_asm(void);
235 extern void software_191_asm(void);
236 extern void software_192_asm(void);
237 extern void software_193_asm(void);
238 extern void software_194_asm(void);
239 extern void software_195_asm(void);
240 extern void software_196_asm(void);
241 extern void software_197_asm(void);
242 extern void software_198_asm(void);
243 extern void software_199_asm(void);
244 extern void software_200_asm(void);
245 extern void software_201_asm(void);
246 extern void software_202_asm(void);
247 extern void software_203_asm(void);
248 extern void software_204_asm(void);
249 extern void software_205_asm(void);
250 extern void software_206_asm(void);
251 extern void software_207_asm(void);
252 extern void software_208_asm(void);
253 extern void software_209_asm(void);
254 extern void software_210_asm(void);
255 extern void software_211_asm(void);
256 extern void software_212_asm(void);
257 extern void software_213_asm(void);
258 extern void software_214_asm(void);
259 extern void software_215_asm(void);
260 extern void software_216_asm(void);
261 extern void software_217_asm(void);
262 extern void software_218_asm(void);
263 extern void software_219_asm(void);
264 extern void software_220_asm(void);
265 extern void software_221_asm(void);
266 extern void software_222_asm(void);
267 extern void software_223_asm(void);
268 extern void software_224_asm(void);
269 extern void software_225_asm(void);
270 extern void software_226_asm(void);
271 extern void software_227_asm(void);
272 extern void software_228_asm(void);
273 extern void software_229_asm(void);
274 extern void software_230_asm(void);
275 extern void software_231_asm(void);
276 extern void software_232_asm(void);
277 extern void software_233_asm(void);
278 extern void software_234_asm(void);
279 extern void software_235_asm(void);
280 extern void software_236_asm(void);
281 extern void software_237_asm(void);
282 extern void software_238_asm(void);
283 extern void software_239_asm(void);
284 extern void software_240_asm(void);
285 extern void software_241_asm(void);
286 extern void software_242_asm(void);
287 extern void software_243_asm(void);
288 extern void software_244_asm(void);
289 extern void software_245_asm(void);
290 extern void software_246_asm(void);
291 extern void software_247_asm(void);
292 extern void software_248_asm(void);
293 extern void software_249_asm(void);
294 extern void software_250_asm(void);
295 extern void software_251_asm(void);
296 extern void software_252_asm(void);
297 extern void software_253_asm(void);
298 extern void software_254_asm(void);
299 extern void software_255_asm(void);
300 
301 #endif
software_245_asm
void software_245_asm(void)
software_130_asm
void software_130_asm(void)
software_139_asm
void software_139_asm(void)
software_251_asm
void software_251_asm(void)
software_51_asm
void software_51_asm(void)
software_216_asm
void software_216_asm(void)
software_158_asm
void software_158_asm(void)
software_120_asm
void software_120_asm(void)
fault_PF_asm
void fault_PF_asm(void)
software_154_asm
void software_154_asm(void)
software_210_asm
void software_210_asm(void)
fault_MF_asm
void fault_MF_asm(void)
software_122_asm
void software_122_asm(void)
software_147_asm
void software_147_asm(void)
software_71_asm
void software_71_asm(void)
software_248_asm
void software_248_asm(void)
software_56_asm
void software_56_asm(void)
software_114_asm
void software_114_asm(void)
hardware_RTC_asm
void hardware_RTC_asm(void)
software_156_asm
void software_156_asm(void)
software_169_asm
void software_169_asm(void)
software_236_asm
void software_236_asm(void)
software_208_asm
void software_208_asm(void)
software_207_asm
void software_207_asm(void)
software_234_asm
void software_234_asm(void)
software_203_asm
void software_203_asm(void)
software_124_asm
void software_124_asm(void)
software_170_asm
void software_170_asm(void)
software_70_asm
void software_70_asm(void)
software_101_asm
void software_101_asm(void)
software_85_asm
void software_85_asm(void)
hardware_KEYB_asm
void hardware_KEYB_asm(void)
hardware_PER1_asm
void hardware_PER1_asm(void)
software_252_asm
void software_252_asm(void)
software_163_asm
void software_163_asm(void)
software_134_asm
void software_134_asm(void)
fault_DF_asm
void fault_DF_asm(void)
software_224_asm
void software_224_asm(void)
software_60_asm
void software_60_asm(void)
software_131_asm
void software_131_asm(void)
software_75_asm
void software_75_asm(void)
software_61_asm
void software_61_asm(void)
software_173_asm
void software_173_asm(void)
software_116_asm
void software_116_asm(void)
fault_NP_asm
void fault_NP_asm(void)
software_86_asm
void software_86_asm(void)
software_186_asm
void software_186_asm(void)
software_229_asm
void software_229_asm(void)
software_167_asm
void software_167_asm(void)
fault_RES_asm
void fault_RES_asm(void)
software_78_asm
void software_78_asm(void)
software_188_asm
void software_188_asm(void)
software_64_asm
void software_64_asm(void)
hardware_PER3_asm
void hardware_PER3_asm(void)
software_201_asm
void software_201_asm(void)
software_249_asm
void software_249_asm(void)
software_193_asm
void software_193_asm(void)
software_107_asm
void software_107_asm(void)
software_171_asm
void software_171_asm(void)
software_88_asm
void software_88_asm(void)
software_187_asm
void software_187_asm(void)
software_177_asm
void software_177_asm(void)
software_62_asm
void software_62_asm(void)
hardware_COM2_asm
void hardware_COM2_asm(void)
software_200_asm
void software_200_asm(void)
software_119_asm
void software_119_asm(void)
software_190_asm
void software_190_asm(void)
software_84_asm
void software_84_asm(void)
software_135_asm
void software_135_asm(void)
software_250_asm
void software_250_asm(void)
software_254_asm
void software_254_asm(void)
software_127_asm
void software_127_asm(void)
software_57_asm
void software_57_asm(void)
software_231_asm
void software_231_asm(void)
software_242_asm
void software_242_asm(void)
hardware_COM1_asm
void hardware_COM1_asm(void)
hardware_SPUR_asm
void hardware_SPUR_asm(void)
fault_MC_asm
void fault_MC_asm(void)
software_243_asm
void software_243_asm(void)
software_68_asm
void software_68_asm(void)
software_213_asm
void software_213_asm(void)
software_174_asm
void software_174_asm(void)
software_141_asm
void software_141_asm(void)
software_69_asm
void software_69_asm(void)
software_214_asm
void software_214_asm(void)
software_150_asm
void software_150_asm(void)
software_233_asm
void software_233_asm(void)
fault_OF_asm
void fault_OF_asm(void)
software_166_asm
void software_166_asm(void)
software_129_asm
void software_129_asm(void)
software_212_asm
void software_212_asm(void)
software_196_asm
void software_196_asm(void)
software_152_asm
void software_152_asm(void)
software_183_asm
void software_183_asm(void)
software_102_asm
void software_102_asm(void)
software_227_asm
void software_227_asm(void)
software_206_asm
void software_206_asm(void)
software_228_asm
void software_228_asm(void)
software_105_asm
void software_105_asm(void)
hardware_LPT2_asm
void hardware_LPT2_asm(void)
software_72_asm
void software_72_asm(void)
software_247_asm
void software_247_asm(void)
software_93_asm
void software_93_asm(void)
software_63_asm
void software_63_asm(void)
software_160_asm
void software_160_asm(void)
software_222_asm
void software_222_asm(void)
software_168_asm
void software_168_asm(void)
software_140_asm
void software_140_asm(void)
software_137_asm
void software_137_asm(void)
fault_CSO_asm
void fault_CSO_asm(void)
software_76_asm
void software_76_asm(void)
software_144_asm
void software_144_asm(void)
software_91_asm
void software_91_asm(void)
software_83_asm
void software_83_asm(void)
hardware_PER2_asm
void hardware_PER2_asm(void)
software_184_asm
void software_184_asm(void)
software_149_asm
void software_149_asm(void)
software_81_asm
void software_81_asm(void)
software_67_asm
void software_67_asm(void)
software_58_asm
void software_58_asm(void)
fault_TS_asm
void fault_TS_asm(void)
software_211_asm
void software_211_asm(void)
software_230_asm
void software_230_asm(void)
software_133_asm
void software_133_asm(void)
software_238_asm
void software_238_asm(void)
software_226_asm
void software_226_asm(void)
fault_DE_asm
void fault_DE_asm(void)
software_142_asm
void software_142_asm(void)
software_132_asm
void software_132_asm(void)
software_217_asm
void software_217_asm(void)
software_164_asm
void software_164_asm(void)
software_223_asm
void software_223_asm(void)
software_161_asm
void software_161_asm(void)
software_115_asm
void software_115_asm(void)
fault_XM_asm
void fault_XM_asm(void)
software_241_asm
void software_241_asm(void)
software_95_asm
void software_95_asm(void)
software_74_asm
void software_74_asm(void)
fault_DB_asm
void fault_DB_asm(void)
software_239_asm
void software_239_asm(void)
software_54_asm
void software_54_asm(void)
software_180_asm
void software_180_asm(void)
software_77_asm
void software_77_asm(void)
software_118_asm
void software_118_asm(void)
software_48_asm
void software_48_asm(void)
software_49_asm
void software_49_asm(void)
hardware_SHD_asm
void hardware_SHD_asm(void)
software_204_asm
void software_204_asm(void)
software_126_asm
void software_126_asm(void)
software_87_asm
void software_87_asm(void)
software_244_asm
void software_244_asm(void)
software_176_asm
void software_176_asm(void)
software_165_asm
void software_165_asm(void)
software_182_asm
void software_182_asm(void)
software_65_asm
void software_65_asm(void)
fault_BP_asm
void fault_BP_asm(void)
software_80_asm
void software_80_asm(void)
software_253_asm
void software_253_asm(void)
software_89_asm
void software_89_asm(void)
software_110_asm
void software_110_asm(void)
software_172_asm
void software_172_asm(void)
software_111_asm
void software_111_asm(void)
fault_GP_asm
void fault_GP_asm(void)
software_73_asm
void software_73_asm(void)
fault_UD_asm
void fault_UD_asm(void)
software_221_asm
void software_221_asm(void)
software_138_asm
void software_138_asm(void)
fault_NMI_asm
void fault_NMI_asm(void)
software_50_asm
void software_50_asm(void)
software_112_asm
void software_112_asm(void)
software_215_asm
void software_215_asm(void)
software_194_asm
void software_194_asm(void)
software_202_asm
void software_202_asm(void)
hardware_FLPD_asm
void hardware_FLPD_asm(void)
software_153_asm
void software_153_asm(void)
software_96_asm
void software_96_asm(void)
software_52_asm
void software_52_asm(void)
software_94_asm
void software_94_asm(void)
software_53_asm
void software_53_asm(void)
software_90_asm
void software_90_asm(void)
software_175_asm
void software_175_asm(void)
software_209_asm
void software_209_asm(void)
software_98_asm
void software_98_asm(void)
software_220_asm
void software_220_asm(void)
software_189_asm
void software_189_asm(void)
software_195_asm
void software_195_asm(void)
software_109_asm
void software_109_asm(void)
software_136_asm
void software_136_asm(void)
software_232_asm
void software_232_asm(void)
software_121_asm
void software_121_asm(void)
software_197_asm
void software_197_asm(void)
hardware_CASC_asm
void hardware_CASC_asm(void)
software_178_asm
void software_178_asm(void)
software_123_asm
void software_123_asm(void)
software_104_asm
void software_104_asm(void)
software_219_asm
void software_219_asm(void)
software_185_asm
void software_185_asm(void)
software_100_asm
void software_100_asm(void)
software_198_asm
void software_198_asm(void)
software_151_asm
void software_151_asm(void)
software_192_asm
void software_192_asm(void)
software_82_asm
void software_82_asm(void)
software_146_asm
void software_146_asm(void)
software_157_asm
void software_157_asm(void)
software_255_asm
void software_255_asm(void)
hardware_PS2M_asm
void hardware_PS2M_asm(void)
software_205_asm
void software_205_asm(void)
software_237_asm
void software_237_asm(void)
software_218_asm
void software_218_asm(void)
software_92_asm
void software_92_asm(void)
software_99_asm
void software_99_asm(void)
software_66_asm
void software_66_asm(void)
software_162_asm
void software_162_asm(void)
software_143_asm
void software_143_asm(void)
fault_NM_asm
void fault_NM_asm(void)
fault_VE_asm
void fault_VE_asm(void)
hardware_PHD_asm
void hardware_PHD_asm(void)
software_199_asm
void software_199_asm(void)
software_179_asm
void software_179_asm(void)
software_103_asm
void software_103_asm(void)
software_108_asm
void software_108_asm(void)
software_79_asm
void software_79_asm(void)
software_181_asm
void software_181_asm(void)
software_128_asm
void software_128_asm(void)
software_246_asm
void software_246_asm(void)
callback_t
void(* callback_t)(void)
Type of callback functions (IRQ handlers) No return value, and no arguments.
Definition: asm_int.h:41
software_97_asm
void software_97_asm(void)
fault_SS_asm
void fault_SS_asm(void)
software_59_asm
void software_59_asm(void)
software_113_asm
void software_113_asm(void)
software_235_asm
void software_235_asm(void)
software_145_asm
void software_145_asm(void)
hardware_ALRM_asm
void hardware_ALRM_asm(void)
software_106_asm
void software_106_asm(void)
software_148_asm
void software_148_asm(void)
software_125_asm
void software_125_asm(void)
fault_BR_asm
void fault_BR_asm(void)
software_155_asm
void software_155_asm(void)
software_159_asm
void software_159_asm(void)
software_240_asm
void software_240_asm(void)
software_55_asm
void software_55_asm(void)
software_117_asm
void software_117_asm(void)
software_191_asm
void software_191_asm(void)
software_225_asm
void software_225_asm(void)
hardware_FPU_asm
void hardware_FPU_asm(void)
fault_AC_asm
void fault_AC_asm(void)
Generated by   doxygen 1.8.13