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

4.104.114.84.95
Last change on this file since 8ed37e3c was 8ed37e3c, checked in by Joel Sherrill <joel.sherrill@…>, on Jun 3, 1997 at 10:47:47 PM

corrected to compile with the new binding.

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