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

4.104.114.95
Last change on this file since ba3e1a4f was ba3e1a4f, checked in by Glenn Humphrey <glenn.humphrey@…>, on 10/10/07 at 20:58:48

2007-10-10 Glenn Humphrey <glenn.humphrey@…>

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