File : s-vxwext-vthreads.ads
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS --
4 -- --
5 -- S Y S T E M . V X W O R K S . E X T --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 2008-2014, Free Software Foundation, Inc. --
10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
17 -- --
18 -- --
19 -- --
20 -- --
21 -- --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
26 -- --
27 ------------------------------------------------------------------------------
28
29 -- This package provides VxWorks specific support functions needed
30 -- by System.OS_Interface.
31
32 -- This is the VxWorks 653 vThreads version of this package
33
34 with Interfaces.C;
35
36 package System.VxWorks.Ext is
37 pragma Preelaborate;
38
39 subtype SEM_ID is Long_Integer;
40 -- typedef struct semaphore *SEM_ID;
41
42 type sigset_t is mod 2 ** Interfaces.C.long'Size;
43
44 type t_id is new Long_Integer;
45 subtype int is Interfaces.C.int;
46 subtype unsigned is Interfaces.C.unsigned;
47
48 type Interrupt_Handler is access procedure (parameter : System.Address);
49 pragma Convention (C, Interrupt_Handler);
50
51 type Interrupt_Vector is new System.Address;
52 function Int_Lock return int;
53 pragma Inline (Int_Lock);
54
55 function Int_Unlock (Old : int) return int;
56 pragma Inline (Int_Unlock);
57
58 function Interrupt_Connect
59 (Vector : Interrupt_Vector;
60 Handler : Interrupt_Handler;
61 Parameter : System.Address := System.Null_Address) return int;
62 pragma Convention (C, Interrupt_Connect);
63
64 function Interrupt_Context return int;
65 pragma Convention (C, Interrupt_Context);
66
67 function Interrupt_Number_To_Vector
68 (intNum : int) return Interrupt_Vector;
69 pragma Convention (C, Interrupt_Number_To_Vector);
70
71 function semDelete (Sem : SEM_ID) return int;
72 pragma Convention (C, semDelete);
73
74 function Task_Cont (tid : t_id) return int;
75 pragma Import (C, Task_Cont, "taskResume");
76
77 function Task_Stop (tid : t_id) return int;
78 pragma Import (C, Task_Stop, "taskSuspend");
79
80 function kill (pid : t_id; sig : int) return int;
81 pragma Import (C, kill, "kill");
82
83 function getpid return t_id;
84 pragma Import (C, getpid, "taskIdSelf");
85
86 function Set_Time_Slice (ticks : int) return int;
87 pragma Import (C, Set_Time_Slice, "kernelTimeSlice");
88
89 type UINT64 is mod 2 ** Long_Long_Integer'Size;
90
91 function tickGet return UINT64;
92 -- "tickGet" not available for cert vThreads:
93 pragma Import (C, tickGet, "tick64Get");
94
95 --------------------------------
96 -- Processor Affinity for SMP --
97 --------------------------------
98
99 function taskCpuAffinitySet (tid : t_id; CPU : int) return int;
100 pragma Convention (C, taskCpuAffinitySet);
101 -- For SMP run-times set the CPU affinity.
102 -- For uniprocessor systems return ERROR status.
103
104 function taskMaskAffinitySet (tid : t_id; CPU_Set : unsigned) return int;
105 pragma Convention (C, taskMaskAffinitySet);
106 -- For SMP run-times set the CPU mask affinity.
107 -- For uniprocessor systems return ERROR status.
108
109 end System.VxWorks.Ext;