source: rtems/c/src/ada-tests/tmtests/tmoverhd/dummy_rtems.ads @ bf9ae83

4.104.114.84.95
Last change on this file since bf9ae83 was bf9ae83, checked in by Joel Sherrill <joel.sherrill@…>, on Jun 2, 1997 at 8:32:11 PM

modified copyright notice to be the same as RTEMS 4.0.0.

changed the CVS ID string to be a "development" version.

  • Property mode set to 100644
File size: 13.9 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--  Copyright assigned to U.S. Government, 1994.
17--
18--  The license and distribution terms for this file may in
19--  the file LICENSE in this distribution or at
20--  http://www.OARcorp.com/rtems/license.html.
21--
22--  $Id$
23--
24
25with RTEMS;
26
27package DUMMY_RTEMS is
28
29-- Initialization Manager
30
31   procedure INITIALIZE_EXECUTIVE (
32      CONFIGURATION_TABLE   : in     RTEMS.CONFIGURATION_TABLE_POINTER;
33      CPU_TABLE             : in     RTEMS.CPU_TABLE_POINTER;
34      TASK_TABLE            : in     RTEMS.INITIALIZATION_TASKS_TABLE_POINTER;
35      DRIVER_TABLE          : in     RTEMS.DRIVER_ADDRESS_TABLE_POINTER;
36      EXTENSION_TABLE       : in     RTEMS.EXTENSIONS_TABLE_POINTER;
37      MULTIPROCESSING_TABLE : in     RTEMS.MULTIPROCESSING_TABLE_POINTER;
38      MPCI_TABLE            : in     RTEMS.MPCI_TABLE_POINTER
39   );
40
41   procedure SHUTDOWN_EXECUTIVE (
42      RESULT : in     RTEMS.UNSIGNED32
43   );
44
45-- Task Manager
46
47   procedure TASK_CREATE (
48      NAME             : in     RTEMS.NAME;
49      INITIAL_PRIORITY : in     RTEMS.TASK_PRIORITY;
50      STACK_SIZE       : in     RTEMS.UNSIGNED32;
51      INITIAL_MODES    : in     RTEMS.MODE;
52      ATTRIBUTE_SET    : in     RTEMS.ATTRIBUTE;
53      ID               :    out RTEMS.ID;
54      RESULT           :    out RTEMS.STATUS_CODES
55   );
56
57   procedure TASK_IDENT (
58      NAME   : in     RTEMS.NAME;
59      NODE   : in     RTEMS.UNSIGNED32;
60      ID     :    out RTEMS.ID;
61      RESULT :    out RTEMS.STATUS_CODES
62   );
63
64   procedure TASK_START (
65      ID          : in     RTEMS.ID;
66      ENTRY_POINT : in     RTEMS.TASK_ENTRY_POINT;
67      ARGUMENT    : in     RTEMS.UNSIGNED32;
68      RESULT      :    out RTEMS.STATUS_CODES
69   );
70
71   procedure TASK_RESTART (
72      ID       : in     RTEMS.ID;
73      ARGUMENT : in     RTEMS.UNSIGNED32;
74      RESULT   :    out RTEMS.STATUS_CODES
75   );
76
77   procedure TASK_DELETE (
78      ID     : in     RTEMS.ID;
79      RESULT :    out RTEMS.STATUS_CODES
80   );
81
82   procedure TASK_SUSPEND (
83      ID     : in     RTEMS.ID;
84      RESULT :    out RTEMS.STATUS_CODES
85   );
86
87   procedure TASK_RESUME (
88      ID     : in     RTEMS.ID;
89      RESULT :    out RTEMS.STATUS_CODES
90   );
91
92   procedure TASK_SET_PRIORITY (
93      ID           : in     RTEMS.ID;
94      NEW_PRIORITY : in     RTEMS.TASK_PRIORITY;
95      OLD_PRIORITY :    out RTEMS.TASK_PRIORITY;
96      RESULT       :    out RTEMS.STATUS_CODES
97   );
98
99   procedure TASK_MODE (
100      MODE_SET          : in     RTEMS.MODE;
101      MASK              : in     RTEMS.MODE;
102      PREVIOUS_MODE_SET :    out RTEMS.MODE;
103      RESULT            :    out RTEMS.STATUS_CODES
104   );
105
106   procedure TASK_GET_NOTE (
107      ID      : in     RTEMS.ID;
108      NOTEPAD : in     RTEMS.NOTEPAD_INDEX;
109      NOTE    :    out RTEMS.UNSIGNED32;
110      RESULT  :    out RTEMS.STATUS_CODES
111   );
112
113   procedure TASK_SET_NOTE (
114      ID      : in     RTEMS.ID;
115      NOTEPAD : in     RTEMS.NOTEPAD_INDEX;
116      NOTE    : in     RTEMS.UNSIGNED32;
117      RESULT  :    out RTEMS.STATUS_CODES
118   );
119
120   procedure TASK_WAKE_WHEN (
121      TIME_BUFFER : in     RTEMS.TIME_OF_DAY;
122      RESULT      :    out RTEMS.STATUS_CODES
123   );
124
125   procedure TASK_WAKE_AFTER (
126      TICKS  : in     RTEMS.INTERVAL;
127      RESULT :    out RTEMS.STATUS_CODES
128   );
129
130-- Interrupt Manager
131
132   procedure INTERRUPT_CATCH (
133      NEW_ISR_HANDLER : in     RTEMS.ADDRESS;
134      VECTOR          : in     RTEMS.VECTOR_NUMBER;
135      OLD_ISR_HANDLER :    out RTEMS.ADDRESS;
136      RESULT          :    out RTEMS.STATUS_CODES
137   );
138
139-- Clock Manager
140
141   procedure CLOCK_GET (
142      OPTION      : in     RTEMS.CLOCK_GET_OPTIONS;
143      TIME_BUFFER : in     RTEMS.ADDRESS;
144      RESULT      :    out RTEMS.STATUS_CODES
145   );
146
147   procedure CLOCK_SET (
148      TIME_BUFFER : in     RTEMS.TIME_OF_DAY;
149      RESULT      :    out RTEMS.STATUS_CODES
150   );
151
152   procedure CLOCK_TICK (
153      RESULT :    out RTEMS.STATUS_CODES
154   );
155
156-- Timer Manager
157
158   procedure TIMER_CREATE (
159      NAME   : in     RTEMS.NAME;
160      ID     :    out RTEMS.ID;
161      RESULT :    out RTEMS.STATUS_CODES
162   );
163
164   procedure TIMER_DELETE (
165      ID     : in     RTEMS.ID;
166      RESULT :    out RTEMS.STATUS_CODES
167   );
168
169   procedure TIMER_IDENT (
170      NAME   : in     RTEMS.NAME;
171      ID     :    out RTEMS.ID;
172      RESULT :    out RTEMS.STATUS_CODES
173   );
174
175   procedure TIMER_FIRE_AFTER (
176      ID        : in     RTEMS.ID;
177      TICKS     : in     RTEMS.INTERVAL;
178      ROUTINE   : in     RTEMS.TIMER_SERVICE_ROUTINE;
179      USER_DATA : in     RTEMS.ADDRESS;
180      RESULT    :    out RTEMS.STATUS_CODES
181   );
182
183   procedure TIMER_FIRE_WHEN (
184      ID        : in     RTEMS.ID;
185      WALL_TIME : in     RTEMS.TIME_OF_DAY;
186      ROUTINE   : in     RTEMS.TIMER_SERVICE_ROUTINE;
187      USER_DATA : in     RTEMS.ADDRESS;
188      RESULT    :    out RTEMS.STATUS_CODES
189   );
190
191   procedure TIMER_RESET (
192      ID     : in     RTEMS.ID;
193      RESULT :    out RTEMS.STATUS_CODES
194   );
195
196   procedure TIMER_CANCEL (
197      ID     : in     RTEMS.ID;
198      RESULT :    out RTEMS.STATUS_CODES
199   );
200
201-- Semaphore Manager
202
203   procedure SEMAPHORE_CREATE (
204      NAME          : in     RTEMS.NAME;
205      COUNT         : in     RTEMS.UNSIGNED32;
206      ATTRIBUTE_SET : in     RTEMS.ATTRIBUTE;
207      ID            :    out RTEMS.ID;
208      RESULT        :    out RTEMS.STATUS_CODES
209   );
210
211   procedure SEMAPHORE_DELETE (
212      ID     : in     RTEMS.ID;
213      RESULT :    out RTEMS.STATUS_CODES
214   );
215
216   procedure SEMAPHORE_IDENT (
217      NAME   : in     RTEMS.NAME;
218      NODE   : in     RTEMS.UNSIGNED32;
219      ID     :    out RTEMS.ID;
220      RESULT :    out RTEMS.STATUS_CODES
221   );
222
223   procedure SEMAPHORE_OBTAIN (
224      ID         : in     RTEMS.ID;
225      OPTION_SET : in     RTEMS.OPTION;
226      TIMEOUT    : in     RTEMS.INTERVAL;
227      RESULT     :    out RTEMS.STATUS_CODES
228   );
229
230   procedure SEMAPHORE_RELEASE (
231      ID     : in     RTEMS.ID;
232      RESULT :    out RTEMS.STATUS_CODES
233   );
234
235-- Message Queue Manager
236
237   procedure MESSAGE_QUEUE_CREATE (
238      NAME          : in     RTEMS.NAME;
239      COUNT         : in     RTEMS.UNSIGNED32;
240      ATTRIBUTE_SET : in     RTEMS.ATTRIBUTE;
241      ID            :    out RTEMS.ID;
242      RESULT        :    out RTEMS.STATUS_CODES
243   );
244
245   procedure MESSAGE_QUEUE_IDENT (
246      NAME   : in     RTEMS.NAME;
247      NODE   : in     RTEMS.UNSIGNED32;
248      ID     :    out RTEMS.ID;
249      RESULT :    out RTEMS.STATUS_CODES
250   );
251
252   procedure MESSAGE_QUEUE_DELETE (
253      ID     : in     RTEMS.ID;
254      RESULT :    out RTEMS.STATUS_CODES
255   );
256
257   procedure MESSAGE_QUEUE_SEND (
258      ID     : in     RTEMS.ID;
259      BUFFER : in     RTEMS.BUFFER_POINTER;
260      RESULT :    out RTEMS.STATUS_CODES
261   );
262
263   procedure MESSAGE_QUEUE_URGENT (
264      ID     : in     RTEMS.ID;
265      BUFFER : in     RTEMS.BUFFER_POINTER;
266      RESULT :    out RTEMS.STATUS_CODES
267   );
268
269   procedure MESSAGE_QUEUE_BROADCAST (
270      ID     : in     RTEMS.ID;
271      BUFFER : in     RTEMS.BUFFER_POINTER;
272      COUNT  :    out RTEMS.UNSIGNED32;
273      RESULT :    out RTEMS.STATUS_CODES
274   );
275
276   procedure MESSAGE_QUEUE_RECEIVE (
277      ID         : in     RTEMS.ID;
278      BUFFER     : in     RTEMS.BUFFER_POINTER;
279      OPTION_SET : in     RTEMS.OPTION;
280      TIMEOUT    : in     RTEMS.INTERVAL;
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      RETURN_VALUE :    out RTEMS.UNSIGNED32;
437      RESULT       :    out RTEMS.STATUS_CODES
438   );
439
440   procedure IO_OPEN (
441      MAJOR        : in     RTEMS.DEVICE_MAJOR_NUMBER;
442      MINOR        : in     RTEMS.DEVICE_MINOR_NUMBER;
443      ARGUMENT     : in     RTEMS.ADDRESS;
444      RETURN_VALUE :    out RTEMS.UNSIGNED32;
445      RESULT       :    out RTEMS.STATUS_CODES
446   );
447
448   procedure IO_CLOSE (
449      MAJOR        : in     RTEMS.DEVICE_MAJOR_NUMBER;
450      MINOR        : in     RTEMS.DEVICE_MINOR_NUMBER;
451      ARGUMENT     : in     RTEMS.ADDRESS;
452      RETURN_VALUE :    out RTEMS.UNSIGNED32;
453      RESULT       :    out RTEMS.STATUS_CODES
454   );
455
456   procedure IO_READ (
457      MAJOR        : in     RTEMS.DEVICE_MAJOR_NUMBER;
458      MINOR        : in     RTEMS.DEVICE_MINOR_NUMBER;
459      ARGUMENT     : in     RTEMS.ADDRESS;
460      RETURN_VALUE :    out RTEMS.UNSIGNED32;
461      RESULT       :    out RTEMS.STATUS_CODES
462   );
463
464   procedure IO_WRITE (
465      MAJOR        : in     RTEMS.DEVICE_MAJOR_NUMBER;
466      MINOR        : in     RTEMS.DEVICE_MINOR_NUMBER;
467      ARGUMENT     : in     RTEMS.ADDRESS;
468      RETURN_VALUE :    out RTEMS.UNSIGNED32;
469      RESULT       :    out RTEMS.STATUS_CODES
470   );
471
472   procedure IO_CONTROL (
473      MAJOR        : in     RTEMS.DEVICE_MAJOR_NUMBER;
474      MINOR        : in     RTEMS.DEVICE_MINOR_NUMBER;
475      ARGUMENT     : in     RTEMS.ADDRESS;
476      RETURN_VALUE :    out RTEMS.UNSIGNED32;
477      RESULT       :    out RTEMS.STATUS_CODES
478   );
479
480-- Fatal Error Manager
481
482   procedure FATAL_ERROR_OCCURRED (
483      THE_ERROR : in     RTEMS.UNSIGNED32
484   );
485
486-- Rate Monotonic Manager
487
488   procedure RATE_MONOTONIC_CREATE (
489      NAME   : in     RTEMS.NAME;
490      ID     :    out RTEMS.ID;
491      RESULT :    out RTEMS.STATUS_CODES
492   );
493
494   procedure RATE_MONOTONIC_IDENT (
495      NAME   : in     RTEMS.NAME;
496      ID     :    out RTEMS.ID;
497      RESULT :    out RTEMS.STATUS_CODES
498   );
499
500   procedure RATE_MONOTONIC_DELETE (
501      ID     : in     RTEMS.ID;
502      RESULT :    out RTEMS.STATUS_CODES
503   );
504
505   procedure RATE_MONOTONIC_CANCEL (
506      ID     : in     RTEMS.ID;
507      RESULT :    out RTEMS.STATUS_CODES
508   );
509
510   procedure RATE_MONOTONIC_PERIOD (
511      ID      : in     RTEMS.ID;
512      LENGTH  : in     RTEMS.INTERVAL;
513      RESULT  :    out RTEMS.STATUS_CODES
514   );
515
516-- Multiprocessing Manager
517
518   procedure MULTIPROCESSING_ANNOUNCE;
519
520end DUMMY_RTEMS;
Note: See TracBrowser for help on using the repository browser.