source: rtems/testsuites/ada/tmtests/tmoverhd/dummy_rtems.ads @ ee537ea

5
Last change on this file since ee537ea was ee537ea, checked in by Sebastian Huber <sebastian.huber@…>, on Oct 12, 2017 at 8:00:10 AM

ada-tests: Move to testsuites/ada

This solves a build dependency issue, e.g. building tests before
librtemsbsp.a exists.

Close #3079.

  • Property mode set to 100644
File size: 11.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-2007.
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.org/license/LICENSE.
20--
21
22with RTEMS;
23with RTEMS.CLOCK;
24with RTEMS.TASKS;
25with RTEMS.TIMER;
26
27package DUMMY_RTEMS is
28
29-- Task Manager
30
31   procedure TASK_CREATE (
32      NAME             : in     RTEMS.NAME;
33      INITIAL_PRIORITY : in     RTEMS.TASKS.PRIORITY;
34      STACK_SIZE       : in     RTEMS.UNSIGNED32;
35      INITIAL_MODES    : in     RTEMS.MODE;
36      ATTRIBUTE_SET    : in     RTEMS.ATTRIBUTE;
37      ID               :    out RTEMS.ID;
38      RESULT           :    out RTEMS.STATUS_CODES
39   );
40
41   procedure TASK_IDENT (
42      NAME   : in     RTEMS.NAME;
43      NODE   : in     RTEMS.UNSIGNED32;
44      ID     :    out RTEMS.ID;
45      RESULT :    out RTEMS.STATUS_CODES
46   );
47
48   procedure TASK_START (
49      ID          : in     RTEMS.ID;
50      ENTRY_POINT : in     RTEMS.TASKS.ENTRY_POINT;
51      ARGUMENT    : in     RTEMS.UNSIGNED32;
52      RESULT      :    out RTEMS.STATUS_CODES
53   );
54
55   procedure TASK_RESTART (
56      ID       : in     RTEMS.ID;
57      ARGUMENT : in     RTEMS.UNSIGNED32;
58      RESULT   :    out RTEMS.STATUS_CODES
59   );
60
61   procedure TASK_DELETE (
62      ID     : in     RTEMS.ID;
63      RESULT :    out RTEMS.STATUS_CODES
64   );
65
66   procedure TASK_SUSPEND (
67      ID     : in     RTEMS.ID;
68      RESULT :    out RTEMS.STATUS_CODES
69   );
70
71   procedure TASK_RESUME (
72      ID     : in     RTEMS.ID;
73      RESULT :    out RTEMS.STATUS_CODES
74   );
75
76   procedure TASK_SET_PRIORITY (
77      ID           : in     RTEMS.ID;
78      NEW_PRIORITY : in     RTEMS.TASKS.PRIORITY;
79      OLD_PRIORITY :    out RTEMS.TASKS.PRIORITY;
80      RESULT       :    out RTEMS.STATUS_CODES
81   );
82
83   procedure TASK_MODE (
84      MODE_SET          : in     RTEMS.MODE;
85      MASK              : in     RTEMS.MODE;
86      PREVIOUS_MODE_SET :    out RTEMS.MODE;
87      RESULT            :    out RTEMS.STATUS_CODES
88   );
89
90   procedure TASK_WAKE_WHEN (
91      TIME_BUFFER : in     RTEMS.TIME_OF_DAY;
92      RESULT      :    out RTEMS.STATUS_CODES
93   );
94
95   procedure TASK_WAKE_AFTER (
96      TICKS  : in     RTEMS.INTERVAL;
97      RESULT :    out RTEMS.STATUS_CODES
98   );
99
100-- Interrupt Manager
101
102--   procedure INTERRUPT_CATCH (
103--      NEW_ISR_HANDLER : in     RTEMS.ADDRESS;
104--      VECTOR          : in     RTEMS.VECTOR_NUMBER;
105--      OLD_ISR_HANDLER :    out RTEMS.ADDRESS;
106--      RESULT          :    out RTEMS.STATUS_CODES
107--   );
108
109-- Clock Manager
110
111   procedure CLOCK_GET_TOD (
112      TIME_BUFFER :    out RTEMS.TIME_OF_DAY;
113      RESULT      :    out RTEMS.STATUS_CODES
114   );
115
116   procedure CLOCK_SET (
117      TIME_BUFFER : in     RTEMS.TIME_OF_DAY;
118      RESULT      :    out RTEMS.STATUS_CODES
119   );
120
121   procedure CLOCK_TICK (
122      RESULT :    out RTEMS.STATUS_CODES
123   );
124
125-- Timer Manager
126
127   procedure TIMER_CREATE (
128      NAME   : in     RTEMS.NAME;
129      ID     :    out RTEMS.ID;
130      RESULT :    out RTEMS.STATUS_CODES
131   );
132
133   procedure TIMER_DELETE (
134      ID     : in     RTEMS.ID;
135      RESULT :    out RTEMS.STATUS_CODES
136   );
137
138   procedure TIMER_IDENT (
139      NAME   : in     RTEMS.NAME;
140      ID     :    out RTEMS.ID;
141      RESULT :    out RTEMS.STATUS_CODES
142   );
143
144   procedure TIMER_FIRE_AFTER (
145      ID        : in     RTEMS.ID;
146      TICKS     : in     RTEMS.INTERVAL;
147      ROUTINE   : in     RTEMS.TIMER.SERVICE_ROUTINE;
148      USER_DATA : in     RTEMS.ADDRESS;
149      RESULT    :    out RTEMS.STATUS_CODES
150   );
151
152   procedure TIMER_FIRE_WHEN (
153      ID        : in     RTEMS.ID;
154      WALL_TIME : in     RTEMS.TIME_OF_DAY;
155      ROUTINE   : in     RTEMS.TIMER.SERVICE_ROUTINE;
156      USER_DATA : in     RTEMS.ADDRESS;
157      RESULT    :    out RTEMS.STATUS_CODES
158   );
159
160   procedure TIMER_RESET (
161      ID     : in     RTEMS.ID;
162      RESULT :    out RTEMS.STATUS_CODES
163   );
164
165   procedure TIMER_CANCEL (
166      ID     : in     RTEMS.ID;
167      RESULT :    out RTEMS.STATUS_CODES
168   );
169
170-- Semaphore Manager
171
172   procedure SEMAPHORE_CREATE (
173      NAME             : in     RTEMS.NAME;
174      COUNT            : in     RTEMS.UNSIGNED32;
175      ATTRIBUTE_SET    : in     RTEMS.ATTRIBUTE;
176      PRIORITY_CEILING : in     RTEMS.TASKS.PRIORITY;
177      ID               :    out RTEMS.ID;
178      RESULT           :    out RTEMS.STATUS_CODES
179   );
180
181   procedure SEMAPHORE_DELETE (
182      ID     : in     RTEMS.ID;
183      RESULT :    out RTEMS.STATUS_CODES
184   );
185
186   procedure SEMAPHORE_IDENT (
187      NAME   : in     RTEMS.NAME;
188      NODE   : in     RTEMS.UNSIGNED32;
189      ID     :    out RTEMS.ID;
190      RESULT :    out RTEMS.STATUS_CODES
191   );
192
193   procedure SEMAPHORE_OBTAIN (
194      ID         : in     RTEMS.ID;
195      OPTION_SET : in     RTEMS.OPTION;
196      TIMEOUT    : in     RTEMS.INTERVAL;
197      RESULT     :    out RTEMS.STATUS_CODES
198   );
199
200   procedure SEMAPHORE_RELEASE (
201      ID     : in     RTEMS.ID;
202      RESULT :    out RTEMS.STATUS_CODES
203   );
204
205-- Message Queue Manager
206
207   procedure MESSAGE_QUEUE_CREATE (
208      Name             : in     RTEMS.Name;
209      Count            : in     RTEMS.Unsigned32;
210      Max_Message_Size : in     RTEMS.Unsigned32;
211      Attribute_Set    : in     RTEMS.Attribute;
212      ID               :    out RTEMS.ID;
213      Result           :    out RTEMS.Status_Codes
214   );
215
216   procedure MESSAGE_QUEUE_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 MESSAGE_QUEUE_DELETE (
224      ID     : in     RTEMS.ID;
225      RESULT :    out RTEMS.STATUS_CODES
226   );
227
228   procedure MESSAGE_QUEUE_SEND (
229      ID     : in     RTEMS.ID;
230      BUFFER : in     RTEMS.ADDRESS;
231      SIZE   : in     RTEMS.UNSIGNED32;
232      RESULT :    out RTEMS.STATUS_CODES
233   );
234
235   procedure MESSAGE_QUEUE_URGENT (
236      ID     : in     RTEMS.ID;
237      BUFFER : in     RTEMS.ADDRESS;
238      SIZE   : in     RTEMS.UNSIGNED32;
239      RESULT :    out RTEMS.STATUS_CODES
240   );
241
242   procedure MESSAGE_QUEUE_BROADCAST (
243      ID     : in     RTEMS.ID;
244      BUFFER : in     RTEMS.ADDRESS;
245      SIZE   : in     RTEMS.UNSIGNED32;
246      COUNT  :    out RTEMS.UNSIGNED32;
247      RESULT :    out RTEMS.STATUS_CODES
248   );
249
250   procedure MESSAGE_QUEUE_RECEIVE (
251      ID         : in     RTEMS.ID;
252      BUFFER     : in     RTEMS.ADDRESS;
253      OPTION_SET : in     RTEMS.OPTION;
254      TIMEOUT    : in     RTEMS.INTERVAL;
255      SIZE       :    out RTEMS.UNSIGNED32;
256      RESULT     :    out RTEMS.STATUS_CODES
257   );
258
259   procedure MESSAGE_QUEUE_FLUSH (
260      ID     : in     RTEMS.ID;
261      COUNT  :    out RTEMS.UNSIGNED32;
262      RESULT :    out RTEMS.STATUS_CODES
263   );
264
265-- Event Manager
266
267   procedure EVENT_SEND (
268      ID       : in     RTEMS.ID;
269      EVENT_IN : in     RTEMS.EVENT_SET;
270      RESULT   :    out RTEMS.STATUS_CODES
271   );
272
273   procedure EVENT_RECEIVE (
274      EVENT_IN   : in     RTEMS.EVENT_SET;
275      OPTION_SET : in     RTEMS.OPTION;
276      TICKS      : in     RTEMS.INTERVAL;
277      EVENT_OUT  :    out RTEMS.EVENT_SET;
278      RESULT     :    out RTEMS.STATUS_CODES
279   );
280
281-- Signal Manager
282
283   procedure SIGNAL_CATCH (
284      ASR_HANDLER : in     RTEMS.ASR_HANDLER;
285      MODE_SET    : in     RTEMS.MODE;
286      RESULT      :    out RTEMS.STATUS_CODES
287   );
288
289   procedure SIGNAL_SEND (
290      ID         : in     RTEMS.ID;
291      SIGNAL_SET : in     RTEMS.SIGNAL_SET;
292      RESULT     :    out RTEMS.STATUS_CODES
293   );
294
295-- Partition Manager
296
297   procedure PARTITION_CREATE (
298      NAME             : in     RTEMS.NAME;
299      STARTING_ADDRESS : in     RTEMS.ADDRESS;
300      LENGTH           : in     RTEMS.UNSIGNED32;
301      BUFFER_SIZE      : in     RTEMS.UNSIGNED32;
302      ATTRIBUTE_SET    : in     RTEMS.ATTRIBUTE;
303      ID               :    out RTEMS.ID;
304      RESULT           :    out RTEMS.STATUS_CODES
305   );
306
307   procedure PARTITION_IDENT (
308      NAME   : in     RTEMS.NAME;
309      NODE   : in     RTEMS.UNSIGNED32;
310      ID     :    out RTEMS.ID;
311      RESULT :    out RTEMS.STATUS_CODES
312   );
313
314   procedure PARTITION_DELETE (
315      ID     : in     RTEMS.ID;
316      RESULT :    out RTEMS.STATUS_CODES
317   );
318
319   procedure PARTITION_GET_BUFFER (
320      ID     : in     RTEMS.ID;
321      BUFFER :    out RTEMS.ADDRESS;
322      RESULT :    out RTEMS.STATUS_CODES
323   );
324
325   procedure PARTITION_RETURN_BUFFER (
326      ID     : in     RTEMS.ID;
327      BUFFER : in     RTEMS.ADDRESS;
328      RESULT :    out RTEMS.STATUS_CODES
329   );
330
331-- Region Manager
332
333   procedure REGION_CREATE (
334      NAME             : in     RTEMS.NAME;
335      STARTING_ADDRESS : in     RTEMS.ADDRESS;
336      LENGTH           : in     RTEMS.UNSIGNED32;
337      PAGE_SIZE        : in     RTEMS.UNSIGNED32;
338      ATTRIBUTE_SET    : in     RTEMS.ATTRIBUTE;
339      ID               :    out RTEMS.ID;
340      RESULT           :    out RTEMS.STATUS_CODES
341   );
342
343   procedure REGION_IDENT (
344      NAME   : in     RTEMS.NAME;
345      ID     :    out RTEMS.ID;
346      RESULT :    out RTEMS.STATUS_CODES
347   );
348
349   procedure REGION_DELETE (
350      ID     : in     RTEMS.ID;
351      RESULT :    out RTEMS.STATUS_CODES
352   );
353
354   procedure REGION_GET_SEGMENT (
355      ID         : in     RTEMS.ID;
356      SIZE       : in     RTEMS.UNSIGNED32;
357      OPTION_SET : in     RTEMS.OPTION;
358      TIMEOUT    : in     RTEMS.INTERVAL;
359      SEGMENT    :    out RTEMS.ADDRESS;
360      RESULT     :    out RTEMS.STATUS_CODES
361   );
362
363   procedure REGION_RETURN_SEGMENT (
364      ID      : in     RTEMS.ID;
365      SEGMENT : in     RTEMS.ADDRESS;
366      RESULT  :    out RTEMS.STATUS_CODES
367   );
368
369-- Dual Ported Memory Manager
370
371   procedure PORT_CREATE (
372      NAME           : in     RTEMS.NAME;
373      INTERNAL_START : in     RTEMS.ADDRESS;
374      EXTERNAL_START : in     RTEMS.ADDRESS;
375      LENGTH         : in     RTEMS.UNSIGNED32;
376      ID             :    out RTEMS.ID;
377      RESULT         :    out RTEMS.STATUS_CODES
378   );
379
380   procedure PORT_IDENT (
381      NAME   : in     RTEMS.NAME;
382      ID     :    out RTEMS.ID;
383      RESULT :    out RTEMS.STATUS_CODES
384   );
385
386   procedure PORT_DELETE (
387      ID     : in     RTEMS.ID;
388      RESULT :    out RTEMS.STATUS_CODES
389   );
390
391   procedure PORT_EXTERNAL_TO_INTERNAL (
392      ID       : in     RTEMS.ID;
393      EXTERNAL : in     RTEMS.ADDRESS;
394      INTERNAL :    out RTEMS.ADDRESS;
395      RESULT   :    out RTEMS.STATUS_CODES
396   );
397
398   procedure PORT_INTERNAL_TO_EXTERNAL (
399      ID       : in     RTEMS.ID;
400      INTERNAL : in     RTEMS.ADDRESS;
401      EXTERNAL :    out RTEMS.ADDRESS;
402      RESULT   :    out RTEMS.STATUS_CODES
403   );
404
405-- Fatal Error Manager
406
407   procedure FATAL_ERROR_OCCURRED (
408      THE_ERROR : in     RTEMS.UNSIGNED32
409   );
410
411-- Rate Monotonic Manager
412
413   procedure RATE_MONOTONIC_CREATE (
414      NAME   : in     RTEMS.NAME;
415      ID     :    out RTEMS.ID;
416      RESULT :    out RTEMS.STATUS_CODES
417   );
418
419   procedure RATE_MONOTONIC_IDENT (
420      NAME   : in     RTEMS.NAME;
421      ID     :    out RTEMS.ID;
422      RESULT :    out RTEMS.STATUS_CODES
423   );
424
425   procedure RATE_MONOTONIC_DELETE (
426      ID     : in     RTEMS.ID;
427      RESULT :    out RTEMS.STATUS_CODES
428   );
429
430   procedure RATE_MONOTONIC_CANCEL (
431      ID     : in     RTEMS.ID;
432      RESULT :    out RTEMS.STATUS_CODES
433   );
434
435   procedure RATE_MONOTONIC_PERIOD (
436      ID      : in     RTEMS.ID;
437      LENGTH  : in     RTEMS.INTERVAL;
438      RESULT  :    out RTEMS.STATUS_CODES
439   );
440
441-- Multiprocessing Manager
442
443   procedure MULTIPROCESSING_ANNOUNCE;
444
445end DUMMY_RTEMS;
Note: See TracBrowser for help on using the repository browser.