source: rtems/c/src/ada/rtems.ads @ 9b64c2d5

4.104.114.84.9
Last change on this file since 9b64c2d5 was 9b64c2d5, checked in by Joel Sherrill <joel.sherrill@…>, on Apr 15, 1998 at 12:10:03 AM

Per suggestion from Eric Norum, went from one initial extension set
to multiple. This lets the stack check extension be installed
at system initialization time and avoids the BSP having to
even know about its existence.

  • Property mode set to 100644
File size: 43.2 KB
Line 
1--
2--  RTEMS / Specification
3--
4--  DESCRIPTION:
5--
6--  This package provides the interface to the RTEMS API.
7--
8--  DEPENDENCIES:
9--
10--
11--
12--  COPYRIGHT (c) 1997.
13--  On-Line Applications Research Corporation (OAR).
14--
15--  The license and distribution terms for this file may in
16--  the file LICENSE in this distribution or at
17--  http://www.OARcorp.com/rtems/license.html.
18--
19--  $Id$
20--
21
22with System;
23with System.Storage_Elements; use System.Storage_Elements;
24with Interfaces;
25with Interfaces.C;
26
27package RTEMS is
28
29   Structure_Alignment : constant := 8;
30
31   --
32   --  RTEMS Base Types
33   --
34
35   subtype Unsigned8  is Interfaces.Unsigned_8;
36   subtype Unsigned16 is Interfaces.Unsigned_16;
37   subtype Unsigned32 is Interfaces.Unsigned_32;
38
39   type Unsigned32_Pointer     is access all RTEMS.Unsigned32;
40   type Unsigned16_Pointer     is access all RTEMS.Unsigned16;
41   type Unsigned8_Pointer      is access all RTEMS.Unsigned8;
42
43   subtype Boolean             is RTEMS.Unsigned32;
44   subtype Address             is System.Address;
45   subtype Single              is Interfaces.C.C_float;
46   subtype Double              is Interfaces.C.Double;
47
48   --
49   --  The following define the size of each of the base types in
50   --  both bits and system units.
51   --
52
53   Unsigned8_Bits   : constant := 7;
54   Unsigned16_Bits  : constant := 15;
55   Unsigned32_Bits  : constant := 31;
56   Boolean_Bits     : constant := 31;
57   Address_Bits     : constant := 31;
58   Single_Bits      : constant := 31;
59   Double_Bits      : constant := 63;
60
61   Unsigned8_Units  : constant := 1;
62   Unsigned16_Units : constant := 2;
63   Unsigned32_Units : constant := 4;
64   Boolean_Units    : constant := 4;
65   Address_Units    : constant := 4;
66   Single_Units     : constant := 4;
67   Double_Units     : constant := 8;
68
69   Null_Address     : constant RTEMS.Address :=
70      System.Storage_Elements.To_Address(0);
71
72   True  : constant RTEMS.Boolean := 1;
73   False : constant RTEMS.Boolean := 0;
74
75   --  More Types
76   --
77
78   subtype Name                is RTEMS.Unsigned32;
79   subtype ID                  is RTEMS.Unsigned32;
80   subtype Interval            is RTEMS.Unsigned32;
81   subtype Attribute           is RTEMS.Unsigned32;
82   subtype Mode                is RTEMS.Unsigned32;
83   subtype Option              is RTEMS.Unsigned32;
84   subtype Task_Priority       is RTEMS.Unsigned32;
85   subtype Notepad_Index       is RTEMS.Unsigned32 range 0 .. 15;
86
87   subtype Event_Set           is RTEMS.Unsigned32;
88   subtype Signal_Set          is RTEMS.Unsigned32;
89   subtype Debug_Set           is RTEMS.Unsigned32;
90   subtype Device_Major_Number is RTEMS.Unsigned32;
91   subtype Device_Minor_Number is RTEMS.Unsigned32;
92   subtype Vector_Number       is RTEMS.Unsigned32;
93   subtype ISR_Level           is RTEMS.Unsigned32;
94
95   subtype Node                is RTEMS.Unsigned32;
96
97   --
98   --  Task Related Types
99   --  XXXX fix this
100   subtype Task_Argument       is RTEMS.Unsigned32;
101   type Task_Argument_PTR      is access all Task_Argument;
102
103   -- XXXX fix this
104   subtype TCB                 is RTEMS.Unsigned32;
105   type    TCB_Pointer         is access all RTEMS.TCB;
106
107   subtype Task_States         is RTEMS.Unsigned32;
108
109   type Task_Entry is access procedure (
110      Argument : RTEMS.Unsigned32
111   );
112
113   --
114   --  Clock and Time of Day Types
115   --
116
117   type Time_Of_Day is
118      record
119         Year    : RTEMS.Unsigned32; -- year, A.D.
120         Month   : RTEMS.Unsigned32; -- month, 1 .. 12
121         Day     : RTEMS.Unsigned32; -- day, 1 .. 31
122         Hour    : RTEMS.Unsigned32; -- hour, 0 .. 23
123         Minute  : RTEMS.Unsigned32; -- minute, 0 .. 59
124         Second  : RTEMS.Unsigned32; -- second, 0 .. 59
125         Ticks   : RTEMS.Unsigned32; -- elapsed ticks between seconds
126      end record;
127
128   type Clock_Time_Value is
129      record
130         Seconds      : RTEMS.Unsigned32;
131         Microseconds : RTEMS.Unsigned32;
132      end record;
133
134   type Clock_Get_Options is (
135      Clock_Get_TOD,
136      Clock_Get_Seconds_Since_Epoch,
137      Clock_Get_Ticks_Since_Boot,
138      Clock_Get_Ticks_Per_Seconds,
139      Clock_Get_Time_Value
140   );
141
142   --
143   --  Device Driver Entry Prototype
144   --
145
146   type Device_Driver_Entry is access function (
147      Major    : in     RTEMS.Device_Major_Number;
148      Minor    : in     RTEMS.Device_Major_Number;
149      Argument : in     RTEMS.Unsigned32;
150      ID       : in     RTEMS.Unsigned32
151   ) return RTEMS.Unsigned32;
152
153   type Driver_Address_Table_Entry is
154      record
155         Initialization : RTEMS.Device_Driver_Entry;
156         Open           : RTEMS.Device_Driver_Entry;
157         Close          : RTEMS.Device_Driver_Entry;
158         Read           : RTEMS.Device_Driver_Entry;
159         Write          : RTEMS.Device_Driver_Entry;
160         Control        : RTEMS.Device_Driver_Entry;
161      end record;
162
163   type Driver_Address_Table is array ( RTEMS.Unsigned32
164     range 1 .. RTEMS.Unsigned32'Last ) of RTEMS.Driver_Address_Table_Entry;
165
166   type Driver_Address_Table_Pointer is access all Driver_Address_Table;
167
168   type Driver_Name_t is
169      record
170         Device_Name        : RTEMS.Address;
171         Device_Name_Length : RTEMS.Unsigned32;
172         Major              : RTEMS.Device_Major_Number;
173         Minor              : RTEMS.Device_Minor_Number;
174
175      end record;
176
177   --
178   --  Ident Options
179   --
180
181   Search_All_Nodes : constant RTEMS.Node := 0;
182
183   --
184   --  Options
185   --
186
187   Default_Options    : constant RTEMS.Option    := 16#0000#;
188
189   Wait      : constant RTEMS.Option := 16#0000#;
190   No_Wait   : constant RTEMS.Option := 16#0001#;
191
192   Event_All : constant RTEMS.Option := 16#0000#;
193   Event_Any : constant RTEMS.Option := 16#0002#;
194
195   --
196   --  Mode constants
197   --
198
199   Default_Modes      : constant RTEMS.Mode      := 16#0000#;
200
201   All_Mode_Masks     : constant RTEMS.Mode := 16#0000_ffff#;
202   Current_Mode       : constant RTEMS.Mode := 16#0000_0000#;
203   Preempt_Mask       : constant RTEMS.Mode := 16#0000_0100#;
204   Timeslice_Mask     : constant RTEMS.Mode := 16#0000_0200#;
205   ASR_Mask           : constant RTEMS.Mode := 16#0000_0400#;
206   Interrupt_Mask     : RTEMS.Mode;
207   Preempt            : constant RTEMS.Mode := 16#0000_0000#;
208   No_Preempt         : constant RTEMS.Mode := 16#0000_0100#;
209   No_Timeslice       : constant RTEMS.Mode := 16#0000_0000#;
210   Timeslice          : constant RTEMS.Mode := 16#0000_0200#;
211   ASR                : constant RTEMS.Mode := 16#0000_0000#;
212   No_ASR             : constant RTEMS.Mode := 16#0000_0400#;
213
214   pragma Import (C, Interrupt_Mask, "rtems_interrupt_mask");
215
216   --
217   --  Attribute constants
218   --
219
220   Default_Attributes  : constant RTEMS.Attribute := 16#00000000#;
221   No_Floating_Point   : constant RTEMS.Attribute := 16#00000000#;
222   Floating_Point      : constant RTEMS.Attribute := 16#00000001#;
223   Local               : constant RTEMS.Attribute := 16#00000000#;
224   Global              : constant RTEMS.Attribute := 16#00000002#;
225   FIFO                : constant RTEMS.Attribute := 16#00000000#;
226   Priority            : constant RTEMS.Attribute := 16#00000004#;
227   Counting_Semaphore  : constant RTEMS.Attribute := 16#00000000#;
228   Binary_Semaphore    : constant RTEMS.Attribute := 16#00000010#;
229   No_Inherit_Priority : constant RTEMS.Attribute := 16#00000000#;
230   Inherit_Priority    : constant RTEMS.Attribute := 16#00000020#;
231   No_Priority_Ceiling : constant RTEMS.Attribute := 16#00000000#;
232   Priority_Ceiling    : constant RTEMS.Attribute := 16#00000040#;
233
234   function Interrupt_Level (
235      Level : in     RTEMS.Unsigned32
236   ) return RTEMS.Attribute;
237   pragma Import (C, Interrupt_Level, "rtems_interrupt_level_attribute");
238   
239
240   Minimum_Stack_Size : RTEMS.Unsigned32;
241   pragma Import (C, Minimum_Stack_Size, "rtems_minimum_stack_size");
242
243
244   --
245   --  Notepad index constants
246   --
247
248   Notepad_0  : constant RTEMS.Unsigned32 := 0;
249   Notepad_1  : constant RTEMS.Unsigned32 := 1;
250   Notepad_2  : constant RTEMS.Unsigned32 := 2;
251   Notepad_3  : constant RTEMS.Unsigned32 := 3;
252   Notepad_4  : constant RTEMS.Unsigned32 := 4;
253   Notepad_5  : constant RTEMS.Unsigned32 := 5;
254   Notepad_6  : constant RTEMS.Unsigned32 := 6;
255   Notepad_7  : constant RTEMS.Unsigned32 := 7;
256   Notepad_8  : constant RTEMS.Unsigned32 := 8;
257   Notepad_9  : constant RTEMS.Unsigned32 := 9;
258   Notepad_10 : constant RTEMS.Unsigned32 := 10;
259   Notepad_11 : constant RTEMS.Unsigned32 := 11;
260   Notepad_12 : constant RTEMS.Unsigned32 := 12;
261   Notepad_13 : constant RTEMS.Unsigned32 := 13;
262   Notepad_14 : constant RTEMS.Unsigned32 := 14;
263   Notepad_15 : constant RTEMS.Unsigned32 := 15;
264
265   --
266   --  Miscellaneous
267   --
268
269   No_Timeout       : constant RTEMS.Interval := 0;
270   Self             : constant RTEMS.ID       := 0;
271   Period_Status    : constant RTEMS.Interval := 0;
272   Yield_Processor  : constant RTEMS.Interval := 0;
273   Current_Priority : constant RTEMS.Task_Priority := 0;
274   No_Priority      : constant RTEMS.Task_Priority := 0;
275
276
277   --
278   --  Extension Callouts and Table
279   --
280
281   type Thread_Create_Extension is access procedure (
282      Current_Task : in     RTEMS.TCB_Pointer;
283      New_Task     : in     RTEMS.TCB_Pointer
284   );
285
286   type Thread_Start_Extension is access procedure (
287      Current_Task : in     RTEMS.TCB_Pointer;
288      Started_Task : in     RTEMS.TCB_Pointer
289   );
290
291   type Thread_Restart_Extension is access procedure (
292      Current_Task   : in     RTEMS.TCB_Pointer;
293      Restarted_Task : in     RTEMS.TCB_Pointer
294   );
295
296   type Thread_Delete_Extension is access procedure (
297      Current_Task : in     RTEMS.TCB_Pointer;
298      Deleted_Task : in     RTEMS.TCB_Pointer
299   );
300
301   type Thread_Switch_Extension is access procedure (
302      Current_Task : in     RTEMS.TCB_Pointer;
303      Heir_Task    : in     RTEMS.TCB_Pointer
304   );
305
306   type Thread_Post_Switch_Extension is access procedure (
307      Current_Task : in     RTEMS.TCB_Pointer
308   );
309
310   type Thread_Begin_Extension is access procedure (
311      Current_Task : in     RTEMS.TCB_Pointer
312   );
313
314   type Thread_Exitted_Extension is access procedure (
315      Current_Task : in     RTEMS.TCB_Pointer
316   );
317
318   type Fatal_Error_Extension is access procedure (
319      Error : in     RTEMS.Unsigned32
320   );
321
322   type Extensions_Table is
323      record
324         Thread_Create      : RTEMS.Thread_Create_Extension;
325         Thread_Start       : RTEMS.Thread_Start_Extension;
326         Thread_Restart     : RTEMS.Thread_Restart_Extension;
327         Thread_Delete      : RTEMS.Thread_Delete_Extension;
328         Thread_Switch      : RTEMS.Thread_Switch_Extension;
329         Thread_Post_Switch : RTEMS.Thread_Post_Switch_Extension;
330         Thread_Begin       : RTEMS.Thread_Begin_Extension;
331         Thread_Exitted     : RTEMS.Thread_Exitted_Extension;
332         Fatal              : RTEMS.Fatal_Error_Extension;
333      end record;
334
335   type Extensions_Table_Pointer is access all Extensions_Table;
336
337   --
338   --  The following type define a pointer to a watchdog/timer service routine.
339   --
340
341   type Timer_Service_Routine is access procedure (
342      ID          : in     RTEMS.ID;
343      User_Data   : in     RTEMS.Address
344   );
345
346   --
347   --  The following type define a pointer to a signal service routine.
348   --
349
350   type ASR_Handler is access procedure (
351      Signals : in     RTEMS.Signal_Set
352   );
353
354   --
355   --  The following type defines the status information returned
356   --  about a period.
357   --
358
359   type Rate_Monotonic_Period_States is (
360     Inactive,               -- off chain, never initialized
361     Owner_Is_Blocking,      -- on chain, owner is blocking on it
362     Active,                 -- on chain, running continuously
363     Expired_While_Blocking, -- on chain, expired while owner was was blocking
364     Expired                 -- off chain, will be reset by next
365                             --   rtems_rate_monotonic_period
366   );
367
368   for Rate_Monotonic_Period_States'Size use 32;
369
370   for Rate_Monotonic_Period_States use (
371     Inactive                => 0,
372     Owner_Is_Blocking       => 1,
373     Active                  => 2,
374     Expired_While_Blocking  => 3,
375     Expired                 => 4
376   );
377
378   type Rate_Monotonic_Period_Status is
379      record
380         State                            : RTEMS.Rate_Monotonic_Period_States;
381         Ticks_Since_Last_Period          : RTEMS.Unsigned32;
382         Ticks_Executed_Since_Last_Period : RTEMS.Unsigned32;
383      end record;
384
385   --
386   --  Method Completions Status Codes
387   --
388
389   type Status_Codes is (
390      Successful,               -- successful completion
391      Task_Exitted,             -- returned from a task
392      MP_Not_Configured,        -- multiprocessing not configured
393      Invalid_Name,             -- invalid object name
394      Invalid_ID,               -- invalid object id
395      Too_Many,                 -- too many
396      Timeout,                  -- timed out waiting
397      Object_Was_Deleted,       -- object deleted while waiting
398      Invalid_Size,             -- specified size was invalid
399      Invalid_Address,          -- address specified is invalid
400      Invalid_Number,           -- number was invalid
401      Not_Defined,              -- item has not been initialized
402      Resource_In_Use,          -- resources still outstanding
403      Unsatisfied,              -- request not satisfied
404      Incorrect_State,          -- task is in wrong state
405      Already_Suspended,        -- task already in state
406      Illegal_On_Self,          -- illegal on calling task
407      Illegal_On_Remote_Object, -- illegal for remote object
408      Called_From_ISR,          -- called from wrong environment
409      Invalid_Priority,         -- invalid task priority
410      Invalid_Clock,            -- invalid date/time
411      Invalid_Node,             -- invalid node id
412      Not_Configured,           -- directive not configured
413      Not_Owner_Of_Resource,    -- not owner of resource
414      Not_Implemented,          -- directive not implemented
415      Internal_Error,           -- RTEMS inconsistency detected
416      No_Memory,                -- no memory left in heap
417      IO_Error,                 -- driver IO error
418      Proxy_Blocking            -- internal multiprocessing only
419   );
420
421   for Status_Codes'Size use 32;
422
423   for Status_Codes use (
424      Successful                  =>  0,
425      Task_Exitted                =>  1,
426      MP_Not_Configured           =>  2,
427      Invalid_Name                =>  3,
428      Invalid_ID                  =>  4,
429      Too_Many                    =>  5,
430      Timeout                     =>  6,
431      Object_Was_Deleted          =>  7,
432      Invalid_Size                =>  8,
433      Invalid_Address             =>  9,
434      Invalid_NumbeR              => 10,
435      Not_Defined                 => 11,
436      Resource_In_Use             => 12,
437      Unsatisfied                 => 13,
438      Incorrect_State             => 14,
439      Already_Suspended           => 15,
440      Illegal_On_Self             => 16,
441      Illegal_On_Remote_Object    => 17,
442      Called_From_ISR             => 18,
443      Invalid_Priority            => 19,
444      Invalid_Clock               => 20,
445      Invalid_Node                => 21,
446      Not_Configured              => 22,
447      Not_Owner_Of_Resource       => 23,
448      Not_ImplementeD             => 24,
449      Internal_Error              => 25,
450      No_Memory                   => 26,
451      IO_Error                    => 27,
452      Proxy_Blocking              => 28
453   );
454
455   --
456   --  RTEMS Events
457   --
458
459   Pending_Events : constant RTEMS.Event_Set := 16#0000_0000#;
460   All_Events     : constant RTEMS.Event_Set := 16#FFFF_FFFF#;
461   Event_0        : constant RTEMS.Event_Set := 16#0000_0001#;
462   Event_1        : constant RTEMS.Event_Set := 16#0000_0002#;
463   Event_2        : constant RTEMS.Event_Set := 16#0000_0004#;
464   Event_3        : constant RTEMS.Event_Set := 16#0000_0008#;
465   Event_4        : constant RTEMS.Event_Set := 16#0000_0010#;
466   Event_5        : constant RTEMS.Event_Set := 16#0000_0020#;
467   Event_6        : constant RTEMS.Event_Set := 16#0000_0040#;
468   Event_7        : constant RTEMS.Event_Set := 16#0000_0080#;
469   Event_8        : constant RTEMS.Event_Set := 16#0000_0100#;
470   Event_9        : constant RTEMS.Event_Set := 16#0000_0200#;
471   Event_10       : constant RTEMS.Event_Set := 16#0000_0400#;
472   Event_11       : constant RTEMS.Event_Set := 16#0000_0800#;
473   Event_12       : constant RTEMS.Event_Set := 16#0000_1000#;
474   Event_13       : constant RTEMS.Event_Set := 16#0000_2000#;
475   Event_14       : constant RTEMS.Event_Set := 16#0000_4000#;
476   Event_15       : constant RTEMS.Event_Set := 16#0000_8000#;
477   Event_16       : constant RTEMS.Event_Set := 16#0001_0000#;
478   Event_17       : constant RTEMS.Event_Set := 16#0002_0000#;
479   Event_18       : constant RTEMS.Event_Set := 16#0004_0000#;
480   Event_19       : constant RTEMS.Event_Set := 16#0008_0000#;
481   Event_20       : constant RTEMS.Event_Set := 16#0010_0000#;
482   Event_21       : constant RTEMS.Event_Set := 16#0020_0000#;
483   Event_22       : constant RTEMS.Event_Set := 16#0040_0000#;
484   Event_23       : constant RTEMS.Event_Set := 16#0080_0000#;
485   Event_24       : constant RTEMS.Event_Set := 16#0100_0000#;
486   Event_25       : constant RTEMS.Event_Set := 16#0200_0000#;
487   Event_26       : constant RTEMS.Event_Set := 16#0400_0000#;
488   Event_27       : constant RTEMS.Event_Set := 16#0800_0000#;
489   Event_28       : constant RTEMS.Event_Set := 16#1000_0000#;
490   Event_29       : constant RTEMS.Event_Set := 16#2000_0000#;
491   Event_30       : constant RTEMS.Event_Set := 16#4000_0000#;
492   Event_31       : constant RTEMS.Event_Set := 16#8000_0000#;
493
494   --
495   --  RTEMS Signals
496   --
497
498   All_Signals : constant RTEMS.Signal_Set := 16#7FFFFFFF#;
499   Signal_0    : constant RTEMS.Signal_Set := 16#00000001#;
500   Signal_1    : constant RTEMS.Signal_Set := 16#00000002#;
501   Signal_2    : constant RTEMS.Signal_Set := 16#00000004#;
502   Signal_3    : constant RTEMS.Signal_Set := 16#00000008#;
503   Signal_4    : constant RTEMS.Signal_Set := 16#00000010#;
504   Signal_5    : constant RTEMS.Signal_Set := 16#00000020#;
505   Signal_6    : constant RTEMS.Signal_Set := 16#00000040#;
506   Signal_7    : constant RTEMS.Signal_Set := 16#00000080#;
507   Signal_8    : constant RTEMS.Signal_Set := 16#00000100#;
508   Signal_9    : constant RTEMS.Signal_Set := 16#00000200#;
509   Signal_10   : constant RTEMS.Signal_Set := 16#00000400#;
510   Signal_11   : constant RTEMS.Signal_Set := 16#00000800#;
511   Signal_12   : constant RTEMS.Signal_Set := 16#00001000#;
512   Signal_13   : constant RTEMS.Signal_Set := 16#00002000#;
513   Signal_14   : constant RTEMS.Signal_Set := 16#00004000#;
514   Signal_15   : constant RTEMS.Signal_Set := 16#00008000#;
515   Signal_16   : constant RTEMS.Signal_Set := 16#00010000#;
516   Signal_17   : constant RTEMS.Signal_Set := 16#00020000#;
517   Signal_18   : constant RTEMS.Signal_Set := 16#00040000#;
518   Signal_19   : constant RTEMS.Signal_Set := 16#00080000#;
519   Signal_20   : constant RTEMS.Signal_Set := 16#00100000#;
520   Signal_21   : constant RTEMS.Signal_Set := 16#00200000#;
521   Signal_22   : constant RTEMS.Signal_Set := 16#00400000#;
522   Signal_23   : constant RTEMS.Signal_Set := 16#00800000#;
523   Signal_24   : constant RTEMS.Signal_Set := 16#01000000#;
524   Signal_25   : constant RTEMS.Signal_Set := 16#02000000#;
525   Signal_26   : constant RTEMS.Signal_Set := 16#04000000#;
526   Signal_27   : constant RTEMS.Signal_Set := 16#08000000#;
527   Signal_28   : constant RTEMS.Signal_Set := 16#10000000#;
528   Signal_29   : constant RTEMS.Signal_Set := 16#20000000#;
529   Signal_30   : constant RTEMS.Signal_Set := 16#40000000#;
530   Signal_31   : constant RTEMS.Signal_Set := 16#80000000#;
531
532   --
533   --  RTEMS API Configuration Information
534   --
535
536   type Initialization_Tasks_Table_Entry is
537      record
538         Name             : RTEMS.Name;          -- task name
539         Stack_Size       : RTEMS.Unsigned32;    -- task stack size
540         Initial_Priority : RTEMS.Task_priority; -- task priority
541         Attribute_Set    : RTEMS.Attribute;     -- task attributes
542         Entry_Point      : RTEMS.Task_Entry;    -- task entry point
543         Mode_Set         : RTEMS.Mode;          -- task initial mode
544         Argument         : RTEMS.Unsigned32;    -- task argument
545      end record;
546
547   type Initialization_Tasks_Table is array ( RTEMS.Unsigned32 range <> ) of
548     RTEMS.Initialization_Tasks_Table_Entry;
549
550   type Initialization_Tasks_Table_Pointer is access all
551        Initialization_Tasks_Table;
552
553   type API_Configuration_Table is
554      record
555         Maximum_Tasks                   : RTEMS.Unsigned32;
556         Maximum_Timers                  : RTEMS.Unsigned32;
557         Maximum_Semaphores              : RTEMS.Unsigned32;
558         Maximum_Message_queues          : RTEMS.Unsigned32;
559         Maximum_Partitions              : RTEMS.Unsigned32;
560         Maximum_Regions                 : RTEMS.Unsigned32;
561         Maximum_Ports                   : RTEMS.Unsigned32;
562         Maximum_Periods                 : RTEMS.Unsigned32;
563         Number_Of_Initialization_Tasks  : RTEMS.Unsigned32;
564         User_Initialization_Tasks_Table :
565                                   RTEMS.Initialization_Tasks_Table_Pointer;
566      end record;
567
568   type API_Configuration_Table_Pointer is access all API_Configuration_Table;
569
570   --
571   --  RTEMS POSIX API Configuration Information
572   --
573
574   type POSIX_Thread_Entry is access procedure (
575      Argument : in     RTEMS.Address
576   );
577
578   type POSIX_Initialization_Threads_Table_Entry is
579   record
580      Thread_Entry : RTEMS.POSIX_Thread_Entry;
581   end record;
582
583   type POSIX_Initialization_Threads_Table is array
584       ( RTEMS.Unsigned32 range <> ) of
585       RTEMS.POSIX_Initialization_Threads_Table_Entry;
586
587   type POSIX_Initialization_Threads_Table_Pointer is access all
588       POSIX_Initialization_Threads_Table;
589
590   type POSIX_API_Configuration_Table_Entry is
591      record
592         Maximum_Threads                 : Interfaces.C.Int;
593         Maximum_Mutexes                 : Interfaces.C.Int;
594         Maximum_Condition_Variables     : Interfaces.C.Int;
595         Maximum_Keys                    : Interfaces.C.Int;
596         Maximum_Queued_Signals          : Interfaces.C.Int;
597         Number_Of_Initialization_Tasks  : Interfaces.C.Int;
598         User_Initialization_Tasks_Table :
599            RTEMS.POSIX_Initialization_Threads_Table_Pointer;
600      end record;
601
602   type POSIX_API_Configuration_Table is array ( RTEMS.Unsigned32 range <> ) of
603      RTEMS.POSIX_API_Configuration_Table_Entry;
604
605   type POSIX_API_Configuration_Table_Pointer is access all
606          RTEMS.POSIX_API_Configuration_Table;
607
608   --
609   --  MPCI Information include MPCI Configuration
610   --
611
612   type Configuration_Table_Pointer;
613
614   type MP_Packet_Classes is (
615      MP_PACKET_MPCI_INTERNAL,
616      MP_PACKET_TASKS,
617      MP_PACKET_MESSAGE_QUEUE,
618      MP_PACKET_SEMAPHORE,
619      MP_PACKET_PARTITION,
620      MP_PACKET_REGION,
621      MP_PACKET_EVENT,
622      MP_PACKET_SIGNAL
623   );
624
625   for MP_Packet_Classes use (
626      MP_PACKET_MPCI_INTERNAL    => 0,
627      MP_PACKET_TASKS            => 1,
628      MP_PACKET_MESSAGE_QUEUE    => 2,
629      MP_PACKET_SEMAPHORE        => 3,
630      MP_PACKET_PARTITION        => 4,
631      MP_PACKET_REGION           => 5,
632      MP_PACKET_EVENT            => 6,
633      MP_PACKET_SIGNAL           => 7
634   );
635
636   type Packet_Prefix is
637      record
638         The_Class       : RTEMS.MP_Packet_Classes;
639         ID              : RTEMS.ID;
640         Source_TID      : RTEMS.ID;
641         Source_Priority : RTEMS.Task_Priority;
642         Return_Code     : RTEMS.Unsigned32;
643         Length          : RTEMS.Unsigned32;
644         To_Convert      : RTEMS.Unsigned32;
645         Timeout         : RTEMS.Interval;
646      end record;
647
648   type Packet_Prefix_Pointer is access all Packet_Prefix;
649
650   type MPCI_Initialization_Entry is access procedure (
651      Configuration : in     RTEMS.Configuration_Table_Pointer
652   );
653
654   type MPCI_Get_Packet_Entry is access procedure (
655      Packet : access RTEMS.Packet_Prefix_Pointer
656   );
657
658   type MPCI_Return_Packet_Entry is access procedure (
659      Packet : in     RTEMS.Packet_Prefix_Pointer
660   );
661
662   type MPCI_Send_Entry is access procedure (
663      Packet : in     RTEMS.Packet_Prefix_Pointer
664   );
665
666   type MPCI_Receive_Entry is access procedure (
667      Packet : access RTEMS.Packet_Prefix_Pointer
668   );
669
670   type MPCI_Table is
671      record
672         Default_Timeout     : RTEMS.Unsigned32; -- in ticks
673         Maximum_Packet_Size : RTEMS.Unsigned32;
674         Initialization      : RTEMS.MPCI_Initialization_Entry;
675         Get_Packet          : RTEMS.MPCI_Get_Packet_Entry;
676         Return_Packet       : RTEMS.MPCI_Return_Packet_Entry;
677         Send                : RTEMS.MPCI_Send_Entry;
678         Receive             : RTEMS.MPCI_Receive_Entry;
679      end record;
680
681   type MPCI_Table_Pointer is access all MPCI_Table;
682
683   --
684   --  Configuration Information
685   --
686
687   type Multiprocessing_Table is
688      record
689         Node                   : RTEMS.Unsigned32;
690         Maximum_Nodes          : RTEMS.Unsigned32;
691         Maximum_Global_Objects : RTEMS.Unsigned32;
692         Maximum_Proxies        : RTEMS.Unsigned32;
693         User_MPCI_Table        : RTEMS.MPCI_Table_Pointer;
694      end record;
695
696   type Multiprocessing_Table_Pointer is access all Multiprocessing_Table;
697
698   type Configuration_Table is
699      record
700          Work_Space_Start             : RTEMS.Address;
701          Work_Space_Size              : RTEMS.Unsigned32;
702          Maximum_Extensions           : RTEMS.Unsigned32;
703          Microseconds_Per_Tick        : RTEMS.Unsigned32;
704          Ticks_Per_Timeslice          : RTEMS.Unsigned32;
705          Maximum_Devices              : RTEMS.Unsigned32;
706          Number_Of_Device_Drivers     : RTEMS.Unsigned32;
707          Device_Driver_Table          : RTEMS.Driver_Address_Table_Pointer;
708          Number_Of_Initial_Extensions : RTEMS.Unsigned32;
709          User_Extension_Table         : RTEMS.Extensions_Table_Pointer;
710          User_Multiprocessing_Table   : RTEMS.Multiprocessing_Table_Pointer;
711          RTEMS_API_Configuration      : RTEMS.API_Configuration_Table_Pointer;
712          POSIX_API_Configuration      : RTEMS.POSIX_API_Configuration_Table_Pointer;
713      end record;
714
715   type Configuration_Table_Pointer is access all Configuration_Table;
716
717   --
718   --  For now, do not provide access to the CPU Table from Ada.
719   --  When this type is provided, a CPU dependent file must
720   --  define it.
721   --
722
723   subtype CPU_Table is RTEMS.Address;
724   type CPU_Table_Pointer is access all CPU_Table;
725
726   --
727   --  Utility Functions
728   --
729
730   function From_Ada_Boolean (
731      Ada_Boolean : Standard.Boolean
732   ) return RTEMS.Boolean;
733
734   function To_Ada_Boolean (
735      RTEMS_Boolean : RTEMS.Boolean
736   ) return Standard.Boolean;
737
738   function Milliseconds_To_Microseconds (
739      Milliseconds : RTEMS.Unsigned32
740   ) return RTEMS.Unsigned32;
741
742   function Microseconds_To_Ticks (
743      Microseconds : RTEMS.Unsigned32
744   ) return RTEMS.Interval;
745
746   function Milliseconds_To_Ticks (
747      Milliseconds : RTEMS.Unsigned32
748   ) return RTEMS.Interval;
749
750   function Build_Name (
751      C1 : in     Character;
752      C2 : in     Character;
753      C3 : in     Character;
754      C4 : in     Character
755   ) return RTEMS.Name;
756
757   procedure Name_To_Characters (
758      Name : in     RTEMS.Name;
759      C1   :    out Character;
760      C2   :    out Character;
761      C3   :    out Character;
762      C4   :    out Character
763   );
764
765   function Get_Node (
766      ID : in     RTEMS.ID
767   ) return RTEMS.Unsigned32;
768
769   function Get_Index (
770      ID : in     RTEMS.ID
771   ) return RTEMS.Unsigned32;
772
773   function Are_Statuses_Equal (
774      Status  : in     RTEMS.Status_Codes;
775      Desired : in     RTEMS.Status_Codes
776   ) return Standard.Boolean;
777
778   function Is_Status_Successful (
779      Status  : in     RTEMS.Status_Codes
780   ) return Standard.Boolean;
781
782   function Subtract (
783      Left   : in     RTEMS.Address;
784      Right  : in     RTEMS.Address
785   ) return RTEMS.Unsigned32;
786
787   function Are_Equal (
788      Left   : in     RTEMS.Address;
789      Right  : in     RTEMS.Address
790   ) return Standard.Boolean;
791   --
792   --  RTEMS API
793   --
794
795   --
796   --  Initialization Manager
797   --
798
799   procedure Initialize_Executive (
800      Configuration_Table   : in     RTEMS.Configuration_Table_Pointer;
801      CPU_Table             : in     RTEMS.CPU_Table_Pointer
802   );
803
804   procedure Initialize_Executive_Early (
805      Configuration_Table : in     RTEMS.Configuration_Table_Pointer;
806      CPU_Table           : in     RTEMS.CPU_Table_Pointer;
807      Level               :    out RTEMS.ISR_Level
808   );
809
810   procedure Initialize_Executive_Late (
811      BSP_Level : in    RTEMS.ISR_Level
812   );
813
814   procedure Shutdown_Executive (
815      Result : in     RTEMS.Unsigned32
816   );
817
818   --
819   --  Task Manager
820   --
821
822   procedure Task_Create (
823      Name             : in     RTEMS.Name;
824      Initial_Priority : in     RTEMS.Task_Priority;
825      Stack_Size       : in     Unsigned32;
826      Initial_Modes    : in     RTEMS.Mode;
827      Attribute_Set    : in     RTEMS.Attribute;
828      ID               :    out RTEMS.ID;
829      Result           :    out RTEMS.Status_Codes
830   );
831
832   procedure Task_Ident (
833      Name   : in     RTEMS.Name;
834      Node   : in     RTEMS.Node;
835      ID     :    out RTEMS.ID;
836      Result :    out RTEMS.Status_Codes
837   );
838
839   procedure Task_Start (
840      ID          : in     RTEMS.ID;
841      Entry_Point : in     RTEMS.Task_Entry;
842      Argument    : in     RTEMS.Task_Argument;
843      Result      :    out RTEMS.Status_Codes
844   );
845
846   procedure Task_Restart (
847      ID       : in     RTEMS.ID;
848      Argument : in     RTEMS.Task_Argument;
849      Result   :    out RTEMS.Status_Codes
850   );
851
852   procedure Task_Delete (
853      ID     : in     RTEMS.ID;
854      Result :    out RTEMS.Status_Codes
855   );
856
857   procedure Task_Suspend (
858      ID     : in     RTEMS.ID;
859      Result :    out RTEMS.Status_Codes
860   );
861
862   procedure Task_Resume (
863      ID     : in     RTEMS.ID;
864      Result :    out RTEMS.Status_Codes
865   );
866
867   procedure Task_Set_Priority (
868      ID           : in     RTEMS.ID;
869      New_Priority : in     RTEMS.Task_Priority;
870      Old_Priority :    out RTEMS.Task_Priority;
871      Result       :    out RTEMS.Status_Codes
872   );
873
874   procedure Task_Mode (
875      Mode_Set          : in     RTEMS.Mode;
876      Mask              : in     RTEMS.Mode;
877      Previous_Mode_Set :    out RTEMS.Mode;
878      Result            :    out RTEMS.Status_Codes
879   );
880
881   procedure Task_Get_Note (
882      ID      : in     RTEMS.ID;
883      Notepad : in     RTEMS.Notepad_Index;
884      Note    :    out RTEMS.Unsigned32;
885      Result  :    out RTEMS.Status_Codes
886   );
887
888   procedure Task_Set_Note (
889      ID      : in     RTEMS.ID;
890      Notepad : in     RTEMS.Notepad_Index;
891      Note    : in     RTEMS.Unsigned32;
892      Result  :    out RTEMS.Status_Codes
893   );
894
895   procedure Task_Wake_When (
896      Time_Buffer : in     RTEMS.Time_Of_Day;
897      Result      :    out RTEMS.Status_Codes
898   );
899
900   procedure Task_Wake_After (
901      Ticks  : in     RTEMS.Interval;
902      Result :    out RTEMS.Status_Codes
903   );
904
905   --
906   --  Interrupt Manager
907   --
908
909   procedure Interrupt_Catch (
910      New_ISR_Handler : in     RTEMS.Address;
911      Vector          : in     RTEMS.Vector_Number;
912      Old_ISR_Handler :    out RTEMS.Address;
913      Result          :    out RTEMS.Status_Codes
914   );
915
916   function Interrupt_Disable
917   return RTEMS.ISR_Level;
918
919   procedure Interrupt_Enable (
920      Level : in     RTEMS.ISR_Level
921   );
922
923   procedure Interrupt_Flash (
924      Level : in     RTEMS.ISR_Level
925   );
926
927   function Interrupt_Is_In_Progress
928   return RTEMS.Boolean;
929
930   --
931   --  Clock Manager
932   --
933
934   procedure Clock_Get (
935      Option      : in     RTEMS.Clock_Get_Options;
936      Time_Buffer : in     RTEMS.Address;
937      Result      :    out RTEMS.Status_Codes
938   );
939
940   procedure Clock_Set (
941      Time_Buffer : in     RTEMS.Time_Of_Day;
942      Result      :    out RTEMS.Status_Codes
943   );
944
945   procedure Clock_Tick (
946      Result :    out RTEMS.Status_Codes
947   );
948
949   --
950   --  Extension Manager
951   --
952
953   procedure Extension_Create (
954      Name   : in     RTEMS.Name;
955      Table  : in     RTEMS.Extensions_Table_Pointer;
956      ID     :    out RTEMS.ID;
957      Result :    out RTEMS.Status_Codes
958   );
959
960   procedure Extension_Ident (
961      Name   : in     RTEMS.Name;
962      ID     :    out RTEMS.ID;
963      Result :    out RTEMS.Status_Codes
964   );
965
966   procedure Extension_Delete (
967      ID     : in     RTEMS.ID;
968      Result :    out RTEMS.Status_Codes
969   );
970
971
972   --
973   --  Timer Manager
974   --
975
976   procedure Timer_Create (
977      Name   : in     RTEMS.Name;
978      ID     :    out RTEMS.ID;
979      Result :    out RTEMS.Status_Codes
980   );
981
982   procedure Timer_Ident (
983      Name   : in     RTEMS.Name;
984      ID     :    out RTEMS.ID;
985      Result :    out RTEMS.Status_Codes
986   );
987
988   procedure Timer_Delete (
989      ID     : in     RTEMS.ID;
990      Result :    out RTEMS.Status_Codes
991   );
992
993   procedure Timer_Fire_After (
994      ID        : in     RTEMS.ID;
995      Ticks     : in     RTEMS.Interval;
996      Routine   : in     RTEMS.Timer_Service_Routine;
997      User_Data : in     RTEMS.Address;
998      Result    :    out RTEMS.Status_Codes
999   );
1000
1001   procedure Timer_Fire_When (
1002      ID        : in     RTEMS.ID;
1003      Wall_Time : in     RTEMS.Time_Of_Day;
1004      Routine   : in     RTEMS.Timer_Service_Routine;
1005      User_Data : in     RTEMS.Address;
1006      Result    :    out RTEMS.Status_Codes
1007   );
1008
1009   procedure Timer_Reset (
1010      ID     : in     RTEMS.ID;
1011      Result :    out RTEMS.Status_Codes
1012   );
1013
1014   procedure Timer_Cancel (
1015      ID     : in     RTEMS.ID;
1016      Result :    out RTEMS.Status_Codes
1017   );
1018
1019   --
1020   --  Semaphore Manager
1021   --
1022
1023   procedure Semaphore_Create (
1024      Name             : in     RTEMS.Name;
1025      Count            : in     RTEMS.Unsigned32;
1026      Attribute_Set    : in     RTEMS.Attribute;
1027      Priority_Ceiling : in     RTEMS.Task_Priority;
1028      ID               :    out RTEMS.ID;
1029      Result           :    out RTEMS.Status_Codes
1030   );
1031
1032   procedure Semaphore_Delete (
1033      ID     : in     RTEMS.ID;
1034      Result :    out RTEMS.Status_Codes
1035   );
1036
1037   procedure Semaphore_Ident (
1038      Name   : in     RTEMS.Name;
1039      Node   : in     RTEMS.Unsigned32;
1040      ID     :    out RTEMS.ID;
1041      Result :    out RTEMS.Status_Codes
1042   );
1043
1044   procedure Semaphore_Obtain (
1045      ID         : in     RTEMS.ID;
1046      Option_Set : in     RTEMS.Option;
1047      Timeout    : in     RTEMS.Interval;
1048      Result     :    out RTEMS.Status_Codes
1049   );
1050
1051   procedure Semaphore_Release (
1052      ID     : in     RTEMS.ID;
1053      Result :    out RTEMS.Status_Codes
1054   );
1055
1056
1057   --
1058   --  Message Queue Manager
1059   --
1060
1061   procedure Message_Queue_Create (
1062      Name             : in     RTEMS.Name;
1063      Count            : in     RTEMS.Unsigned32;
1064      Max_Message_Size : in     RTEMS.Unsigned32;
1065      Attribute_Set    : in     RTEMS.Attribute;
1066      ID               :    out RTEMS.ID;
1067      Result           :    out RTEMS.Status_Codes
1068   );
1069
1070   procedure Message_Queue_Ident (
1071      Name   : in     RTEMS.Name;
1072      Node   : in     RTEMS.Unsigned32;
1073      ID     :    out RTEMS.ID;
1074      Result :    out RTEMS.Status_Codes
1075   );
1076
1077   procedure Message_Queue_Delete (
1078      ID     : in     RTEMS.ID;
1079      Result :    out RTEMS.Status_Codes
1080   );
1081
1082   procedure Message_Queue_Send (
1083      ID     : in     RTEMS.ID;
1084      Buffer : in     RTEMS.Address;
1085      Size   : in     RTEMS.Unsigned32;
1086      Result :    out RTEMS.Status_Codes
1087   );
1088
1089   procedure Message_Queue_Urgent (
1090      ID     : in     RTEMS.ID;
1091      Buffer : in     RTEMS.Address;
1092      Size   : in     RTEMS.Unsigned32;
1093      Result :    out RTEMS.Status_Codes
1094   );
1095
1096   procedure Message_Queue_Broadcast (
1097      ID     : in     RTEMS.ID;
1098      Buffer : in     RTEMS.Address;
1099      Size   : in     RTEMS.Unsigned32;
1100      Count  :    out RTEMS.Unsigned32;
1101      Result :    out RTEMS.Status_Codes
1102   );
1103
1104   procedure Message_Queue_Receive (
1105      ID         : in     RTEMS.ID;
1106      Buffer     : in     RTEMS.Address;
1107      Option_Set : in     RTEMS.Option;
1108      Timeout    : in     RTEMS.Interval;
1109      Size       :    out RTEMS.Unsigned32;
1110      Result     :    out RTEMS.Status_Codes
1111   );
1112
1113   procedure Message_Queue_Flush (
1114      ID     : in     RTEMS.ID;
1115      Count  :    out RTEMS.Unsigned32;
1116      Result :    out RTEMS.Status_Codes
1117   );
1118
1119
1120   --
1121   --  Event Manager
1122   --
1123
1124   procedure Event_Send (
1125      ID       : in     RTEMS.ID;
1126      Event_In : in     RTEMS.Event_Set;
1127      Result   :    out RTEMS.Status_Codes
1128   );
1129
1130   procedure Event_Receive (
1131      Event_In   : in     RTEMS.Event_Set;
1132      Option_Set : in     RTEMS.Option;
1133      Ticks      : in     RTEMS.Interval;
1134      Event_Out  :    out RTEMS.Event_Set;
1135      Result     :    out RTEMS.Status_Codes
1136   );
1137
1138   --
1139   --  Signal Manager
1140   --
1141
1142   procedure Signal_Catch (
1143      ASR_Handler : in     RTEMS.ASR_Handler;
1144      Mode_Set    : in     RTEMS.Mode;
1145      Result      :    out RTEMS.Status_Codes
1146   );
1147
1148   procedure Signal_Send (
1149      ID         : in     RTEMS.ID;
1150      Signal_Set : in     RTEMS.Signal_Set;
1151      Result     :    out RTEMS.Status_Codes
1152   );
1153
1154
1155   --
1156   --  Partition Manager
1157   --
1158
1159   procedure Partition_Create (
1160      Name             : in     RTEMS.Name;
1161      Starting_Address : in     RTEMS.Address;
1162      Length           : in     RTEMS.Unsigned32;
1163      Buffer_Size      : in     RTEMS.Unsigned32;
1164      Attribute_Set    : in     RTEMS.Attribute;
1165      ID               :    out RTEMS.ID;
1166      Result           :    out RTEMS.Status_Codes
1167   );
1168
1169   procedure Partition_Ident (
1170      Name   : in     RTEMS.Name;
1171      Node   : in     RTEMS.Unsigned32;
1172      ID     :    out RTEMS.ID;
1173      Result :    out RTEMS.Status_Codes
1174   );
1175
1176   procedure Partition_Delete (
1177      ID     : in     RTEMS.ID;
1178      Result :    out RTEMS.Status_Codes
1179   );
1180
1181   procedure Partition_Get_Buffer (
1182      ID     : in     RTEMS.ID;
1183      Buffer :    out RTEMS.Address;
1184      Result :    out RTEMS.Status_Codes
1185   );
1186
1187   procedure Partition_Return_Buffer (
1188      ID     : in     RTEMS.ID;
1189      Buffer : in     RTEMS.Address;
1190      Result :    out RTEMS.Status_Codes
1191   );
1192
1193
1194   --
1195   --  Region Manager
1196   --
1197
1198   procedure Region_Create (
1199      Name             : in     RTEMS.Name;
1200      Starting_Address : in     RTEMS.Address;
1201      Length           : in     RTEMS.Unsigned32;
1202      Page_Size        : in     RTEMS.Unsigned32;
1203      Attribute_Set    : in     RTEMS.Attribute;
1204      ID               :    out RTEMS.ID;
1205      Result           :    out RTEMS.Status_Codes
1206   );
1207
1208   procedure Region_Ident (
1209      Name   : in     RTEMS.Name;
1210      ID     :    out RTEMS.ID;
1211      Result :    out RTEMS.Status_Codes
1212   );
1213
1214   procedure Region_Delete (
1215      ID     : in     RTEMS.ID;
1216      Result :    out RTEMS.Status_Codes
1217   );
1218
1219   procedure Region_Extend (
1220      ID               : in     RTEMS.ID;
1221      Starting_Address : in     RTEMS.Address;
1222      Length           : in     RTEMS.Unsigned32;
1223      Result           :    out RTEMS.Status_Codes
1224   );
1225
1226   procedure Region_Get_Segment (
1227      ID         : in     RTEMS.ID;
1228      Size       : in     RTEMS.Unsigned32;
1229      Option_Set : in     RTEMS.Option;
1230      Timeout    : in     RTEMS.Interval;
1231      Segment    :    out RTEMS.Address;
1232      Result     :    out RTEMS.Status_Codes
1233   );
1234
1235   procedure Region_Get_Segment_Size (
1236      ID         : in     RTEMS.ID;
1237      Segment    : in     RTEMS.Address;
1238      Size       :    out RTEMS.Unsigned32;
1239      Result     :    out RTEMS.Status_Codes
1240   );
1241
1242   procedure Region_Return_Segment (
1243      ID      : in     RTEMS.ID;
1244      Segment : in     RTEMS.Address;
1245      Result  :    out RTEMS.Status_Codes
1246   );
1247
1248
1249   --
1250   --  Dual Ported Memory Manager
1251   --
1252
1253   procedure Port_Create (
1254      Name           : in     RTEMS.Name;
1255      Internal_Start : in     RTEMS.Address;
1256      External_Start : in     RTEMS.Address;
1257      Length         : in     RTEMS.Unsigned32;
1258      ID             :    out RTEMS.ID;
1259      Result         :    out RTEMS.Status_Codes
1260   );
1261
1262   procedure Port_Ident (
1263      Name   : in     RTEMS.Name;
1264      ID     :    out RTEMS.ID;
1265      Result :    out RTEMS.Status_Codes
1266   );
1267
1268   procedure Port_Delete (
1269      ID     : in     RTEMS.ID;
1270      Result :    out RTEMS.Status_Codes
1271   );
1272
1273   procedure Port_External_To_Internal (
1274      ID       : in     RTEMS.ID;
1275      External : in     RTEMS.Address;
1276      Internal :    out RTEMS.Address;
1277      Result   :    out RTEMS.Status_Codes
1278   );
1279
1280   procedure Port_Internal_To_External (
1281      ID       : in     RTEMS.ID;
1282      Internal : in     RTEMS.Address;
1283      External :    out RTEMS.Address;
1284      Result   :    out RTEMS.Status_Codes
1285   );
1286
1287   --
1288   --  Input/Output Manager
1289   --
1290
1291   procedure IO_Initialize (
1292      Major        : in     RTEMS.Device_Major_Number;
1293      Minor        : in     RTEMS.Device_Minor_Number;
1294      Argument     : in     RTEMS.Address;
1295      Return_Value :    out RTEMS.Unsigned32;
1296      Result       :    out RTEMS.Status_Codes
1297   );
1298
1299   procedure IO_Register_Name (
1300      Name   : in     String;
1301      Major  : in     RTEMS.Device_Major_Number;
1302      Minor  : in     RTEMS.Device_Minor_Number;
1303      Result :    out RTEMS.Status_Codes
1304   );
1305
1306   procedure IO_Lookup_Name (
1307      Name         : in     String;
1308      Device_Info  :    out RTEMS.Driver_Name_t;
1309      Result       :    out RTEMS.Status_Codes
1310   );
1311
1312   procedure IO_Open (
1313      Major        : in     RTEMS.Device_Major_Number;
1314      Minor        : in     RTEMS.Device_Minor_Number;
1315      Argument     : in     RTEMS.Address;
1316      Result       :    out RTEMS.Status_Codes
1317   );
1318
1319   procedure IO_Close (
1320      Major        : in     RTEMS.Device_Major_Number;
1321      Minor        : in     RTEMS.Device_Minor_Number;
1322      Argument     : in     RTEMS.Address;
1323      Result       :    out RTEMS.Status_Codes
1324   );
1325
1326   procedure IO_Read (
1327      Major        : in     RTEMS.Device_Major_Number;
1328      Minor        : in     RTEMS.Device_Minor_Number;
1329      Argument     : in     RTEMS.Address;
1330      Result       :    out RTEMS.Status_Codes
1331   );
1332
1333   procedure IO_Write (
1334      Major        : in     RTEMS.Device_Major_Number;
1335      Minor        : in     RTEMS.Device_Minor_Number;
1336      Argument     : in     RTEMS.Address;
1337      Result       :    out RTEMS.Status_Codes
1338   );
1339
1340   procedure IO_Control (
1341      Major        : in     RTEMS.Device_Major_Number;
1342      Minor        : in     RTEMS.Device_Minor_Number;
1343      Argument     : in     RTEMS.Address;
1344      Result       :    out RTEMS.Status_Codes
1345   );
1346
1347
1348   --
1349   --  Fatal Error Manager
1350   --
1351
1352   procedure Fatal_Error_Occurred (
1353      The_Error : in     RTEMS.Unsigned32
1354   );
1355
1356
1357   --
1358   --  Rate Monotonic Manager
1359   --
1360
1361   procedure Rate_Monotonic_Create (
1362      Name   : in     RTEMS.Name;
1363      ID     :    out RTEMS.ID;
1364      Result :    out RTEMS.Status_Codes
1365   );
1366
1367   procedure Rate_Monotonic_Ident (
1368      Name   : in     RTEMS.Name;
1369      ID     :    out RTEMS.ID;
1370      Result :    out RTEMS.Status_Codes
1371   );
1372
1373   procedure Rate_Monotonic_Delete (
1374      ID     : in     RTEMS.ID;
1375      Result :    out RTEMS.Status_Codes
1376   );
1377
1378   procedure Rate_Monotonic_Cancel (
1379      ID     : in     RTEMS.ID;
1380      Result :    out RTEMS.Status_Codes
1381   );
1382
1383   procedure Rate_Monotonic_Period (
1384      ID      : in     RTEMS.ID;
1385      Length  : in     RTEMS.Interval;
1386      Result  :    out RTEMS.Status_Codes
1387   );
1388
1389   procedure Rate_Monotonic_Get_Status (
1390      ID      : in     RTEMS.ID;
1391      Status  :    out RTEMS.Rate_Monotonic_Period_Status;
1392      Result  :    out RTEMS.Status_Codes
1393   );
1394
1395   --
1396   --  Multiprocessing Manager
1397   --
1398
1399   procedure Multiprocessing_Announce;
1400
1401
1402   --
1403   --  Debug Manager
1404   --
1405
1406   Debug_All_Mask : constant RTEMS.Debug_Set := 16#ffffffff#;
1407   Debug_Region   : constant RTEMS.Debug_Set := 16#00000001#;
1408
1409   procedure Debug_Enable (
1410      To_Be_Enabled : in     RTEMS.Debug_Set
1411   );
1412
1413   procedure Debug_Disable (
1414      To_Be_Disabled : in     RTEMS.Debug_Set
1415   );
1416
1417   function Debug_Is_Enabled (
1418      Level : in     RTEMS.Debug_Set
1419   ) return RTEMS.Boolean;
1420
1421  --
1422  --  Some Useful Data Items
1423  --
1424
1425  Configuration : RTEMS.Configuration_Table_Pointer;
1426  pragma Import (C, Configuration, "_Configuration_Table");
1427
1428
1429private
1430end RTEMS;
Note: See TracBrowser for help on using the repository browser.