with Interfaces.C;
with System.VxWorks;
package System.OS_Interface is
pragma Preelaborate;
subtype int is Interfaces.C.int;
subtype short is Interfaces.C.short;
subtype long is Interfaces.C.long;
subtype unsigned is Interfaces.C.unsigned;
subtype unsigned_short is Interfaces.C.unsigned_short;
subtype unsigned_long is Interfaces.C.unsigned_long;
subtype unsigned_char is Interfaces.C.unsigned_char;
subtype plain_char is Interfaces.C.plain_char;
subtype size_t is Interfaces.C.size_t;
subtype char is Interfaces.C.char;
function errno return int;
pragma Import (C, errno, "errnoGet");
EINTR : constant := 4;
EAGAIN : constant := 35;
ENOMEM : constant := 12;
EINVAL : constant := 22;
ETIMEDOUT : constant := 60;
FUNC_ERR : constant := -1;
NSIG : constant := 32;
type Signal is new int range 0 .. Interfaces.C."-" (NSIG, 1);
Max_HW_Interrupt : constant := System.VxWorks.Num_HW_Interrupts - 1;
type HW_Interrupt is new int range 0 .. Max_HW_Interrupt;
Max_Interrupt : constant := Max_HW_Interrupt + NSIG;
SIGILL : constant := 4; SIGABRT : constant := 6; SIGFPE : constant := 8; SIGBUS : constant := 10; SIGSEGV : constant := 11;
SIG_BLOCK : constant := 1;
SIG_UNBLOCK : constant := 2;
SIG_SETMASK : constant := 3;
SA_SIGINFO : constant := 16#0002#;
SA_ONSTACK : constant := 16#0004#;
SIG_DFL : constant := 0;
SIG_IGN : constant := 1;
type sigset_t is private;
type struct_sigaction is record
sa_handler : System.Address;
sa_mask : sigset_t;
sa_flags : int;
end record;
pragma Convention (C, struct_sigaction);
type struct_sigaction_ptr is access all struct_sigaction;
function sigaddset (set : access sigset_t; sig : Signal) return int;
pragma Import (C, sigaddset, "sigaddset");
function sigdelset (set : access sigset_t; sig : Signal) return int;
pragma Import (C, sigdelset, "sigdelset");
function sigfillset (set : access sigset_t) return int;
pragma Import (C, sigfillset, "sigfillset");
function sigismember (set : access sigset_t; sig : Signal) return int;
pragma Import (C, sigismember, "sigismember");
function sigemptyset (set : access sigset_t) return int;
pragma Import (C, sigemptyset, "sigemptyset");
function sigaction
(sig : Signal;
act : struct_sigaction_ptr;
oact : struct_sigaction_ptr) return int;
pragma Import (C, sigaction, "sigaction");
type isr_address is access procedure (sig : int);
function c_signal (sig : Signal; handler : isr_address) return isr_address;
pragma Import (C, c_signal, "signal");
function sigwait (set : access sigset_t; sig : access Signal) return int;
pragma Inline (sigwait);
type sigset_t_ptr is access all sigset_t;
function pthread_sigmask
(how : int;
set : sigset_t_ptr;
oset : sigset_t_ptr) return int;
pragma Import (C, pthread_sigmask, "sigprocmask");
type time_t is new unsigned_long;
type timespec is record
ts_sec : time_t;
ts_nsec : long;
end record;
pragma Convention (C, timespec);
type clockid_t is private;
CLOCK_REALTIME : constant clockid_t;
function To_Duration (TS : timespec) return Duration;
pragma Inline (To_Duration);
function To_Timespec (D : Duration) return timespec;
pragma Inline (To_Timespec);
function To_Clock_Ticks (D : Duration) return int;
function clock_gettime
(clock_id : clockid_t; tp : access timespec) return int;
pragma Import (C, clock_gettime, "clock_gettime");
SCHED_FIFO : constant := 1;
SCHED_RR : constant := 2;
SCHED_OTHER : constant := 4;
type Thread_Body is access
function (arg : System.Address) return System.Address;
type pthread_t is private;
subtype Thread_Id is pthread_t;
null_pthread : constant pthread_t;
type pthread_mutex_t is limited private;
type pthread_cond_t is limited private;
type pthread_attr_t is limited private;
type pthread_mutexattr_t is limited private;
type pthread_condattr_t is limited private;
type pthread_key_t is private;
PTHREAD_CREATE_DETACHED : constant := 0;
PTHREAD_CREATE_JOINABLE : constant := 1;
function kill (pid : pthread_t; sig : Signal) return int;
pragma Import (C, kill, "kill");
function getpid return pthread_t;
pragma Import (C, getpid, "taskIdSelf");
procedure pthread_init;
pragma Inline (pthread_init);
function taskIdSelf return pthread_t;
pragma Import (C, taskIdSelf, "taskIdSelf");
function taskSuspend (tid : pthread_t) return int;
pragma Import (C, taskSuspend, "taskSuspend");
function taskResume (tid : pthread_t) return int;
pragma Import (C, taskResume, "taskResume");
function taskIsSuspended (tid : pthread_t) return int;
pragma Import (C, taskIsSuspended, "taskIsSuspended");
function taskVarAdd
(tid : pthread_t;
pVar : access System.Address) return int;
pragma Import (C, taskVarAdd, "taskVarAdd");
function taskVarDelete
(tid : pthread_t;
pVar : access System.Address) return int;
pragma Import (C, taskVarDelete, "taskVarDelete");
function taskVarSet
(tid : pthread_t;
pVar : access System.Address;
value : System.Address) return int;
pragma Import (C, taskVarSet, "taskVarSet");
function taskVarGet
(tid : pthread_t;
pVar : access System.Address) return int;
pragma Import (C, taskVarGet, "taskVarGet");
function taskInfoGet
(tid : pthread_t;
pTaskDesc : access System.VxWorks.TASK_DESC) return int;
pragma Import (C, taskInfoGet, "taskInfoGet");
function taskDelay (ticks : int) return int;
pragma Import (C, taskDelay, "taskDelay");
function sysClkRateGet return int;
pragma Import (C, sysClkRateGet, "sysClkRateGet");
function pthread_mutexattr_init
(attr : access pthread_mutexattr_t) return int;
pragma Inline (pthread_mutexattr_init);
function pthread_mutexattr_destroy
(attr : access pthread_mutexattr_t) return int;
pragma Inline (pthread_mutexattr_destroy);
function pthread_mutex_init
(mutex : access pthread_mutex_t;
attr : access pthread_mutexattr_t) return int;
pragma Inline (pthread_mutex_init);
function pthread_mutex_destroy (mutex : access pthread_mutex_t) return int;
pragma Inline (pthread_mutex_destroy);
function pthread_mutex_lock (mutex : access pthread_mutex_t) return int;
pragma Inline (pthread_mutex_lock);
function pthread_mutex_unlock (mutex : access pthread_mutex_t) return int;
pragma Inline (pthread_mutex_unlock);
function pthread_condattr_init
(attr : access pthread_condattr_t) return int;
pragma Inline (pthread_condattr_init);
function pthread_condattr_destroy
(attr : access pthread_condattr_t) return int;
pragma Inline (pthread_condattr_destroy);
function pthread_cond_init
(cond : access pthread_cond_t;
attr : access pthread_condattr_t) return int;
pragma Inline (pthread_cond_init);
function pthread_cond_destroy (cond : access pthread_cond_t) return int;
pragma Inline (pthread_cond_destroy);
function pthread_cond_signal (cond : access pthread_cond_t) return int;
pragma Inline (pthread_cond_signal);
function pthread_cond_wait
(cond : access pthread_cond_t;
mutex : access pthread_mutex_t) return int;
pragma Inline (pthread_cond_wait);
function pthread_cond_timedwait
(cond : access pthread_cond_t;
mutex : access pthread_mutex_t;
abstime : access timespec) return int;
pragma Inline (pthread_cond_timedwait);
PTHREAD_PRIO_NONE : constant := 0;
PTHREAD_PRIO_PROTECT : constant := 2;
PTHREAD_PRIO_INHERIT : constant := 1;
function pthread_mutexattr_setprotocol
(attr : access pthread_mutexattr_t;
protocol : int) return int;
pragma Inline (pthread_mutexattr_setprotocol);
function pthread_mutexattr_setprioceiling
(attr : access pthread_mutexattr_t;
prioceiling : int) return int;
pragma Inline (pthread_mutexattr_setprioceiling);
type struct_sched_param is record
sched_priority : int;
end record;
function pthread_setschedparam
(thread : pthread_t;
policy : int;
param : access struct_sched_param) return int;
pragma Inline (pthread_setschedparam);
function sched_yield return int;
pragma Inline (sched_yield);
function pthread_sched_rr_set_interval (usecs : int) return int;
pragma Inline (pthread_sched_rr_set_interval);
function pthread_attr_init (attr : access pthread_attr_t) return int;
pragma Inline (pthread_attr_init);
function pthread_attr_destroy (attr : access pthread_attr_t) return int;
pragma Inline (pthread_attr_destroy);
function pthread_attr_setdetachstate
(attr : access pthread_attr_t;
detachstate : int) return int;
pragma Inline (pthread_attr_setdetachstate);
function pthread_attr_setstacksize
(attr : access pthread_attr_t;
stacksize : size_t) return int;
pragma Inline (pthread_attr_setstacksize);
function pthread_attr_setname_np
(attr : access pthread_attr_t;
name : System.Address) return int;
pragma Inline (pthread_attr_setname_np);
function pthread_create
(thread : access pthread_t;
attr : access pthread_attr_t;
start_routine : Thread_Body;
arg : System.Address) return int;
pragma Inline (pthread_create);
function pthread_detach (thread : pthread_t) return int;
pragma Inline (pthread_detach);
procedure pthread_exit (status : System.Address);
pragma Inline (pthread_exit);
function pthread_self return pthread_t;
pragma Inline (pthread_self);
function pthread_equal (t1 : pthread_t; t2 : pthread_t) return int;
pragma Inline (pthread_equal);
function pthread_setspecific
(key : pthread_key_t;
value : System.Address) return int;
pragma Inline (pthread_setspecific);
function pthread_getspecific (key : pthread_key_t) return System.Address;
pragma Inline (pthread_getspecific);
type destructor_pointer is access procedure (arg : System.Address);
function pthread_key_create
(key : access pthread_key_t;
destructor : destructor_pointer) return int;
pragma Inline (pthread_key_create);
subtype STATUS is int;
OK : constant STATUS := 0;
ERROR : constant STATUS := Interfaces.C."-" (1);
SEM_Q_FIFO : constant := 0;
SEM_Q_PRIORITY : constant := 1;
SEM_DELETE_SAFE : constant := 4; SEM_INVERSION_SAFE : constant := 8;
SEM_EMPTY : constant := 0;
SEM_FULL : constant := 1;
WAIT_FOREVER : constant := -1;
NO_WAIT : constant := 0;
type SEM_ID is new long;
function semBCreate (Options : int; Initial_State : int) return SEM_ID;
pragma Import (C, semBCreate, "semBCreate");
function semTake (SemID : SEM_ID; Timeout : int) return STATUS;
pragma Import (C, semTake, "semTake");
function semGive (SemID : SEM_ID) return STATUS;
pragma Import (C, semGive, "semGive");
function semFlush (SemID : SEM_ID) return STATUS;
pragma Import (C, semFlush, "semFlush");
function semDelete (SemID : SEM_ID) return STATUS;
pragma Import (C, semDelete, "semDelete");
private
type sigset_t is new long;
type pid_t is new int;
ERROR_PID : constant pid_t := -1;
type clockid_t is new int;
CLOCK_REALTIME : constant clockid_t := 0;
type pthread_mutexattr_t is record
Flags : int; Prio_Ceiling : int; Protocol : int;
end record;
type pthread_mutex_t is record
Mutex : SEM_ID;
Protocol : int;
Prio_Ceiling : int; end record;
type pthread_condattr_t is record
Flags : int;
end record;
type pthread_cond_t is record
Sem : SEM_ID; Waiting : Integer; end record;
type pthread_attr_t is record
Stacksize : size_t;
Detachstate : int;
Priority : int;
Taskname : System.Address;
end record;
type pthread_t is new long;
null_pthread : constant pthread_t := 0;
type pthread_key_t is new int;
Key_Storage : array (1 .. 10) of aliased System.Address;
Keys_Created : Integer;
Time_Slice : int;
end System.OS_Interface;