source: rtems/c/src/ada/rtems.ads @ cb19f3f8

4.104.114.84.9
Last change on this file since cb19f3f8 was cb19f3f8, checked in by Joel Sherrill <joel.sherrill@…>, on Nov 17, 2005 at 2:29:23 PM

2005-11-17 Joel Sherrill <joel@…>

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