Context Navigation

source: rtems/cpukit/ada/rtems.ads @ d348ad96

4.104.114.84.95

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

Note: See TracBrowser for help on using the repository browser.

Download in other formats: