source:
rtems/c/src/ada-tests/tmtests/tmoverhd/dummy_rtems.ads
@
2226a03c
Last change on this file since 2226a03c was 2226a03c, checked in by Joel Sherrill <joel.sherrill@…>, on 09/04/03 at 18:43:40 | |
---|---|
|
|
File size: 13.5 KB |
Line | |
---|---|
1 | -- |
2 | -- DUMMY_RTEMS / SPECIFICATION |
3 | -- |
4 | -- DESCRIPTION: |
5 | -- |
6 | -- This package contains specifications for stub routines |
7 | -- which are used to time the invocation overhead incurred |
8 | -- with an Ada application program invokes each RTEMS directive. |
9 | -- |
10 | -- DEPENDENCIES: |
11 | -- |
12 | -- |
13 | -- |
14 | -- COPYRIGHT (c) 1989-1997. |
15 | -- On-Line Applications Research Corporation (OAR). |
16 | -- |
17 | -- The license and distribution terms for this file may in |
18 | -- the file LICENSE in this distribution or at |
19 | -- http://www.rtems.com/license/LICENSE. |
20 | -- |
21 | -- $Id$ |
22 | -- |
23 | |
24 | with RTEMS; |
25 | |
26 | package DUMMY_RTEMS is |
27 | |
28 | -- Initialization Manager |
29 | |
30 | procedure INITIALIZE_EXECUTIVE ( |
31 | CONFIGURATION_TABLE : in RTEMS.CONFIGURATION_TABLE_POINTER; |
32 | CPU_TABLE : in RTEMS.CPU_TABLE_POINTER |
33 | ); |
34 | |
35 | procedure SHUTDOWN_EXECUTIVE ( |
36 | RESULT : in RTEMS.UNSIGNED32 |
37 | ); |
38 | |
39 | -- Task Manager |
40 | |
41 | procedure TASK_CREATE ( |
42 | NAME : in RTEMS.NAME; |
43 | INITIAL_PRIORITY : in RTEMS.TASK_PRIORITY; |
44 | STACK_SIZE : in RTEMS.UNSIGNED32; |
45 | INITIAL_MODES : in RTEMS.MODE; |
46 | ATTRIBUTE_SET : in RTEMS.ATTRIBUTE; |
47 | ID : out RTEMS.ID; |
48 | RESULT : out RTEMS.STATUS_CODES |
49 | ); |
50 | |
51 | procedure TASK_IDENT ( |
52 | NAME : in RTEMS.NAME; |
53 | NODE : in RTEMS.UNSIGNED32; |
54 | ID : out RTEMS.ID; |
55 | RESULT : out RTEMS.STATUS_CODES |
56 | ); |
57 | |
58 | procedure TASK_START ( |
59 | ID : in RTEMS.ID; |
60 | ENTRY_POINT : in RTEMS.TASK_ENTRY; |
61 | ARGUMENT : in RTEMS.UNSIGNED32; |
62 | RESULT : out RTEMS.STATUS_CODES |
63 | ); |
64 | |
65 | procedure TASK_RESTART ( |
66 | ID : in RTEMS.ID; |
67 | ARGUMENT : in RTEMS.UNSIGNED32; |
68 | RESULT : out RTEMS.STATUS_CODES |
69 | ); |
70 | |
71 | procedure TASK_DELETE ( |
72 | ID : in RTEMS.ID; |
73 | RESULT : out RTEMS.STATUS_CODES |
74 | ); |
75 | |
76 | procedure TASK_SUSPEND ( |
77 | ID : in RTEMS.ID; |
78 | RESULT : out RTEMS.STATUS_CODES |
79 | ); |
80 | |
81 | procedure TASK_RESUME ( |
82 | ID : in RTEMS.ID; |
83 | RESULT : out RTEMS.STATUS_CODES |
84 | ); |
85 | |
86 | procedure TASK_SET_PRIORITY ( |
87 | ID : in RTEMS.ID; |
88 | NEW_PRIORITY : in RTEMS.TASK_PRIORITY; |
89 | OLD_PRIORITY : out RTEMS.TASK_PRIORITY; |
90 | RESULT : out RTEMS.STATUS_CODES |
91 | ); |
92 | |
93 | procedure TASK_MODE ( |
94 | MODE_SET : in RTEMS.MODE; |
95 | MASK : in RTEMS.MODE; |
96 | PREVIOUS_MODE_SET : out RTEMS.MODE; |
97 | RESULT : out RTEMS.STATUS_CODES |
98 | ); |
99 | |
100 | procedure TASK_GET_NOTE ( |
101 | ID : in RTEMS.ID; |
102 | NOTEPAD : in RTEMS.NOTEPAD_INDEX; |
103 | NOTE : out RTEMS.UNSIGNED32; |
104 | RESULT : out RTEMS.STATUS_CODES |
105 | ); |
106 | |
107 | procedure TASK_SET_NOTE ( |
108 | ID : in RTEMS.ID; |
109 | NOTEPAD : in RTEMS.NOTEPAD_INDEX; |
110 | NOTE : in RTEMS.UNSIGNED32; |
111 | RESULT : out RTEMS.STATUS_CODES |
112 | ); |
113 | |
114 | procedure TASK_WAKE_WHEN ( |
115 | TIME_BUFFER : in RTEMS.TIME_OF_DAY; |
116 | RESULT : out RTEMS.STATUS_CODES |
117 | ); |
118 | |
119 | procedure TASK_WAKE_AFTER ( |
120 | TICKS : in RTEMS.INTERVAL; |
121 | RESULT : out RTEMS.STATUS_CODES |
122 | ); |
123 | |
124 | -- Interrupt Manager |
125 | |
126 | procedure INTERRUPT_CATCH ( |
127 | NEW_ISR_HANDLER : in RTEMS.ADDRESS; |
128 | VECTOR : in RTEMS.VECTOR_NUMBER; |
129 | OLD_ISR_HANDLER : out RTEMS.ADDRESS; |
130 | RESULT : out RTEMS.STATUS_CODES |
131 | ); |
132 | |
133 | -- Clock Manager |
134 | |
135 | procedure CLOCK_GET ( |
136 | OPTION : in RTEMS.CLOCK_GET_OPTIONS; |
137 | TIME_BUFFER : in RTEMS.ADDRESS; |
138 | RESULT : out RTEMS.STATUS_CODES |
139 | ); |
140 | |
141 | procedure CLOCK_SET ( |
142 | TIME_BUFFER : in RTEMS.TIME_OF_DAY; |
143 | RESULT : out RTEMS.STATUS_CODES |
144 | ); |
145 | |
146 | procedure CLOCK_TICK ( |
147 | RESULT : out RTEMS.STATUS_CODES |
148 | ); |
149 | |
150 | -- Timer Manager |
151 | |
152 | procedure TIMER_CREATE ( |
153 | NAME : in RTEMS.NAME; |
154 | ID : out RTEMS.ID; |
155 | RESULT : out RTEMS.STATUS_CODES |
156 | ); |
157 | |
158 | procedure TIMER_DELETE ( |
159 | ID : in RTEMS.ID; |
160 | RESULT : out RTEMS.STATUS_CODES |
161 | ); |
162 | |
163 | procedure TIMER_IDENT ( |
164 | NAME : in RTEMS.NAME; |
165 | ID : out RTEMS.ID; |
166 | RESULT : out RTEMS.STATUS_CODES |
167 | ); |
168 | |
169 | procedure TIMER_FIRE_AFTER ( |
170 | ID : in RTEMS.ID; |
171 | TICKS : in RTEMS.INTERVAL; |
172 | ROUTINE : in RTEMS.TIMER_SERVICE_ROUTINE; |
173 | USER_DATA : in RTEMS.ADDRESS; |
174 | RESULT : out RTEMS.STATUS_CODES |
175 | ); |
176 | |
177 | procedure TIMER_FIRE_WHEN ( |
178 | ID : in RTEMS.ID; |
179 | WALL_TIME : in RTEMS.TIME_OF_DAY; |
180 | ROUTINE : in RTEMS.TIMER_SERVICE_ROUTINE; |
181 | USER_DATA : in RTEMS.ADDRESS; |
182 | RESULT : out RTEMS.STATUS_CODES |
183 | ); |
184 | |
185 | procedure TIMER_RESET ( |
186 | ID : in RTEMS.ID; |
187 | RESULT : out RTEMS.STATUS_CODES |
188 | ); |
189 | |
190 | procedure TIMER_CANCEL ( |
191 | ID : in RTEMS.ID; |
192 | RESULT : out RTEMS.STATUS_CODES |
193 | ); |
194 | |
195 | -- Semaphore Manager |
196 | |
197 | procedure SEMAPHORE_CREATE ( |
198 | NAME : in RTEMS.NAME; |
199 | COUNT : in RTEMS.UNSIGNED32; |
200 | ATTRIBUTE_SET : in RTEMS.ATTRIBUTE; |
201 | PRIORITY_CEILING : in RTEMS.TASK_PRIORITY; |
202 | ID : out RTEMS.ID; |
203 | RESULT : out RTEMS.STATUS_CODES |
204 | ); |
205 | |
206 | procedure SEMAPHORE_DELETE ( |
207 | ID : in RTEMS.ID; |
208 | RESULT : out RTEMS.STATUS_CODES |
209 | ); |
210 | |
211 | procedure SEMAPHORE_IDENT ( |
212 | NAME : in RTEMS.NAME; |
213 | NODE : in RTEMS.UNSIGNED32; |
214 | ID : out RTEMS.ID; |
215 | RESULT : out RTEMS.STATUS_CODES |
216 | ); |
217 | |
218 | procedure SEMAPHORE_OBTAIN ( |
219 | ID : in RTEMS.ID; |
220 | OPTION_SET : in RTEMS.OPTION; |
221 | TIMEOUT : in RTEMS.INTERVAL; |
222 | RESULT : out RTEMS.STATUS_CODES |
223 | ); |
224 | |
225 | procedure SEMAPHORE_RELEASE ( |
226 | ID : in RTEMS.ID; |
227 | RESULT : out RTEMS.STATUS_CODES |
228 | ); |
229 | |
230 | -- Message Queue Manager |
231 | |
232 | procedure MESSAGE_QUEUE_CREATE ( |
233 | Name : in RTEMS.Name; |
234 | Count : in RTEMS.Unsigned32; |
235 | Max_Message_Size : in RTEMS.Unsigned32; |
236 | Attribute_Set : in RTEMS.Attribute; |
237 | ID : out RTEMS.ID; |
238 | Result : out RTEMS.Status_Codes |
239 | ); |
240 | |
241 | procedure MESSAGE_QUEUE_IDENT ( |
242 | NAME : in RTEMS.NAME; |
243 | NODE : in RTEMS.UNSIGNED32; |
244 | ID : out RTEMS.ID; |
245 | RESULT : out RTEMS.STATUS_CODES |
246 | ); |
247 | |
248 | procedure MESSAGE_QUEUE_DELETE ( |
249 | ID : in RTEMS.ID; |
250 | RESULT : out RTEMS.STATUS_CODES |
251 | ); |
252 | |
253 | procedure MESSAGE_QUEUE_SEND ( |
254 | ID : in RTEMS.ID; |
255 | BUFFER : in RTEMS.ADDRESS; |
256 | SIZE : in RTEMS.UNSIGNED32; |
257 | RESULT : out RTEMS.STATUS_CODES |
258 | ); |
259 | |
260 | procedure MESSAGE_QUEUE_URGENT ( |
261 | ID : in RTEMS.ID; |
262 | BUFFER : in RTEMS.ADDRESS; |
263 | SIZE : in RTEMS.UNSIGNED32; |
264 | RESULT : out RTEMS.STATUS_CODES |
265 | ); |
266 | |
267 | procedure MESSAGE_QUEUE_BROADCAST ( |
268 | ID : in RTEMS.ID; |
269 | BUFFER : in RTEMS.ADDRESS; |
270 | SIZE : in RTEMS.UNSIGNED32; |
271 | COUNT : out RTEMS.UNSIGNED32; |
272 | RESULT : out RTEMS.STATUS_CODES |
273 | ); |
274 | |
275 | procedure MESSAGE_QUEUE_RECEIVE ( |
276 | ID : in RTEMS.ID; |
277 | BUFFER : in RTEMS.ADDRESS; |
278 | OPTION_SET : in RTEMS.OPTION; |
279 | TIMEOUT : in RTEMS.INTERVAL; |
280 | SIZE : out RTEMS.UNSIGNED32; |
281 | RESULT : out RTEMS.STATUS_CODES |
282 | ); |
283 | |
284 | procedure MESSAGE_QUEUE_FLUSH ( |
285 | ID : in RTEMS.ID; |
286 | COUNT : out RTEMS.UNSIGNED32; |
287 | RESULT : out RTEMS.STATUS_CODES |
288 | ); |
289 | |
290 | -- Event Manager |
291 | |
292 | procedure EVENT_SEND ( |
293 | ID : in RTEMS.ID; |
294 | EVENT_IN : in RTEMS.EVENT_SET; |
295 | RESULT : out RTEMS.STATUS_CODES |
296 | ); |
297 | |
298 | procedure EVENT_RECEIVE ( |
299 | EVENT_IN : in RTEMS.EVENT_SET; |
300 | OPTION_SET : in RTEMS.OPTION; |
301 | TICKS : in RTEMS.INTERVAL; |
302 | EVENT_OUT : out RTEMS.EVENT_SET; |
303 | RESULT : out RTEMS.STATUS_CODES |
304 | ); |
305 | |
306 | -- Signal Manager |
307 | |
308 | procedure SIGNAL_CATCH ( |
309 | ASR_HANDLER : in RTEMS.ASR_HANDLER; |
310 | MODE_SET : in RTEMS.MODE; |
311 | RESULT : out RTEMS.STATUS_CODES |
312 | ); |
313 | |
314 | procedure SIGNAL_SEND ( |
315 | ID : in RTEMS.ID; |
316 | SIGNAL_SET : in RTEMS.SIGNAL_SET; |
317 | RESULT : out RTEMS.STATUS_CODES |
318 | ); |
319 | |
320 | -- Partition Manager |
321 | |
322 | procedure PARTITION_CREATE ( |
323 | NAME : in RTEMS.NAME; |
324 | STARTING_ADDRESS : in RTEMS.ADDRESS; |
325 | LENGTH : in RTEMS.UNSIGNED32; |
326 | BUFFER_SIZE : in RTEMS.UNSIGNED32; |
327 | ATTRIBUTE_SET : in RTEMS.ATTRIBUTE; |
328 | ID : out RTEMS.ID; |
329 | RESULT : out RTEMS.STATUS_CODES |
330 | ); |
331 | |
332 | procedure PARTITION_IDENT ( |
333 | NAME : in RTEMS.NAME; |
334 | NODE : in RTEMS.UNSIGNED32; |
335 | ID : out RTEMS.ID; |
336 | RESULT : out RTEMS.STATUS_CODES |
337 | ); |
338 | |
339 | procedure PARTITION_DELETE ( |
340 | ID : in RTEMS.ID; |
341 | RESULT : out RTEMS.STATUS_CODES |
342 | ); |
343 | |
344 | procedure PARTITION_GET_BUFFER ( |
345 | ID : in RTEMS.ID; |
346 | BUFFER : out RTEMS.ADDRESS; |
347 | RESULT : out RTEMS.STATUS_CODES |
348 | ); |
349 | |
350 | procedure PARTITION_RETURN_BUFFER ( |
351 | ID : in RTEMS.ID; |
352 | BUFFER : in RTEMS.ADDRESS; |
353 | RESULT : out RTEMS.STATUS_CODES |
354 | ); |
355 | |
356 | -- Region Manager |
357 | |
358 | procedure REGION_CREATE ( |
359 | NAME : in RTEMS.NAME; |
360 | STARTING_ADDRESS : in RTEMS.ADDRESS; |
361 | LENGTH : in RTEMS.UNSIGNED32; |
362 | PAGE_SIZE : in RTEMS.UNSIGNED32; |
363 | ATTRIBUTE_SET : in RTEMS.ATTRIBUTE; |
364 | ID : out RTEMS.ID; |
365 | RESULT : out RTEMS.STATUS_CODES |
366 | ); |
367 | |
368 | procedure REGION_IDENT ( |
369 | NAME : in RTEMS.NAME; |
370 | ID : out RTEMS.ID; |
371 | RESULT : out RTEMS.STATUS_CODES |
372 | ); |
373 | |
374 | procedure REGION_DELETE ( |
375 | ID : in RTEMS.ID; |
376 | RESULT : out RTEMS.STATUS_CODES |
377 | ); |
378 | |
379 | procedure REGION_GET_SEGMENT ( |
380 | ID : in RTEMS.ID; |
381 | SIZE : in RTEMS.UNSIGNED32; |
382 | OPTION_SET : in RTEMS.OPTION; |
383 | TIMEOUT : in RTEMS.INTERVAL; |
384 | SEGMENT : out RTEMS.ADDRESS; |
385 | RESULT : out RTEMS.STATUS_CODES |
386 | ); |
387 | |
388 | procedure REGION_RETURN_SEGMENT ( |
389 | ID : in RTEMS.ID; |
390 | SEGMENT : in RTEMS.ADDRESS; |
391 | RESULT : out RTEMS.STATUS_CODES |
392 | ); |
393 | |
394 | -- Dual Ported Memory Manager |
395 | |
396 | procedure PORT_CREATE ( |
397 | NAME : in RTEMS.NAME; |
398 | INTERNAL_START : in RTEMS.ADDRESS; |
399 | EXTERNAL_START : in RTEMS.ADDRESS; |
400 | LENGTH : in RTEMS.UNSIGNED32; |
401 | ID : out RTEMS.ID; |
402 | RESULT : out RTEMS.STATUS_CODES |
403 | ); |
404 | |
405 | procedure PORT_IDENT ( |
406 | NAME : in RTEMS.NAME; |
407 | ID : out RTEMS.ID; |
408 | RESULT : out RTEMS.STATUS_CODES |
409 | ); |
410 | |
411 | procedure PORT_DELETE ( |
412 | ID : in RTEMS.ID; |
413 | RESULT : out RTEMS.STATUS_CODES |
414 | ); |
415 | |
416 | procedure PORT_EXTERNAL_TO_INTERNAL ( |
417 | ID : in RTEMS.ID; |
418 | EXTERNAL : in RTEMS.ADDRESS; |
419 | INTERNAL : out RTEMS.ADDRESS; |
420 | RESULT : out RTEMS.STATUS_CODES |
421 | ); |
422 | |
423 | procedure PORT_INTERNAL_TO_EXTERNAL ( |
424 | ID : in RTEMS.ID; |
425 | INTERNAL : in RTEMS.ADDRESS; |
426 | EXTERNAL : out RTEMS.ADDRESS; |
427 | RESULT : out RTEMS.STATUS_CODES |
428 | ); |
429 | |
430 | -- Input/Output Manager |
431 | |
432 | procedure IO_INITIALIZE ( |
433 | MAJOR : in RTEMS.DEVICE_MAJOR_NUMBER; |
434 | MINOR : in RTEMS.DEVICE_MINOR_NUMBER; |
435 | ARGUMENT : in RTEMS.ADDRESS; |
436 | RESULT : out RTEMS.STATUS_CODES |
437 | ); |
438 | |
439 | procedure IO_OPEN ( |
440 | MAJOR : in RTEMS.DEVICE_MAJOR_NUMBER; |
441 | MINOR : in RTEMS.DEVICE_MINOR_NUMBER; |
442 | ARGUMENT : in RTEMS.ADDRESS; |
443 | RESULT : out RTEMS.STATUS_CODES |
444 | ); |
445 | |
446 | procedure IO_CLOSE ( |
447 | MAJOR : in RTEMS.DEVICE_MAJOR_NUMBER; |
448 | MINOR : in RTEMS.DEVICE_MINOR_NUMBER; |
449 | ARGUMENT : in RTEMS.ADDRESS; |
450 | RESULT : out RTEMS.STATUS_CODES |
451 | ); |
452 | |
453 | procedure IO_READ ( |
454 | MAJOR : in RTEMS.DEVICE_MAJOR_NUMBER; |
455 | MINOR : in RTEMS.DEVICE_MINOR_NUMBER; |
456 | ARGUMENT : in RTEMS.ADDRESS; |
457 | RESULT : out RTEMS.STATUS_CODES |
458 | ); |
459 | |
460 | procedure IO_WRITE ( |
461 | MAJOR : in RTEMS.DEVICE_MAJOR_NUMBER; |
462 | MINOR : in RTEMS.DEVICE_MINOR_NUMBER; |
463 | ARGUMENT : in RTEMS.ADDRESS; |
464 | RESULT : out RTEMS.STATUS_CODES |
465 | ); |
466 | |
467 | procedure IO_CONTROL ( |
468 | MAJOR : in RTEMS.DEVICE_MAJOR_NUMBER; |
469 | MINOR : in RTEMS.DEVICE_MINOR_NUMBER; |
470 | ARGUMENT : in RTEMS.ADDRESS; |
471 | RESULT : out RTEMS.STATUS_CODES |
472 | ); |
473 | |
474 | -- Fatal Error Manager |
475 | |
476 | procedure FATAL_ERROR_OCCURRED ( |
477 | THE_ERROR : in RTEMS.UNSIGNED32 |
478 | ); |
479 | |
480 | -- Rate Monotonic Manager |
481 | |
482 | procedure RATE_MONOTONIC_CREATE ( |
483 | NAME : in RTEMS.NAME; |
484 | ID : out RTEMS.ID; |
485 | RESULT : out RTEMS.STATUS_CODES |
486 | ); |
487 | |
488 | procedure RATE_MONOTONIC_IDENT ( |
489 | NAME : in RTEMS.NAME; |
490 | ID : out RTEMS.ID; |
491 | RESULT : out RTEMS.STATUS_CODES |
492 | ); |
493 | |
494 | procedure RATE_MONOTONIC_DELETE ( |
495 | ID : in RTEMS.ID; |
496 | RESULT : out RTEMS.STATUS_CODES |
497 | ); |
498 | |
499 | procedure RATE_MONOTONIC_CANCEL ( |
500 | ID : in RTEMS.ID; |
501 | RESULT : out RTEMS.STATUS_CODES |
502 | ); |
503 | |
504 | procedure RATE_MONOTONIC_PERIOD ( |
505 | ID : in RTEMS.ID; |
506 | LENGTH : in RTEMS.INTERVAL; |
507 | RESULT : out RTEMS.STATUS_CODES |
508 | ); |
509 | |
510 | -- Multiprocessing Manager |
511 | |
512 | procedure MULTIPROCESSING_ANNOUNCE; |
513 | |
514 | end DUMMY_RTEMS; |
Note: See TracBrowser
for help on using the repository browser.