diff options
Diffstat (limited to 'gcc/ada/5qvxwork.ads')
| -rw-r--r-- | gcc/ada/5qvxwork.ads | 112 |
1 files changed, 112 insertions, 0 deletions
diff --git a/gcc/ada/5qvxwork.ads b/gcc/ada/5qvxwork.ads new file mode 100644 index 00000000000..7f3bd8c2393 --- /dev/null +++ b/gcc/ada/5qvxwork.ads @@ -0,0 +1,112 @@ +------------------------------------------------------------------------------ +-- -- +-- GNU ADA RUN-TIME LIBRARY (GNARL) COMPONENTS -- +-- -- +-- S Y S T E M . V X W O R K S -- +-- -- +-- S p e c -- +-- -- +-- $Revision: 1.1 $ -- +-- -- +-- Copyright (C) 1998 - 2001 Free Software Foundation -- +-- -- +-- GNARL is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 2, or (at your option) any later ver- -- +-- sion. GNARL is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- +-- for more details. You should have received a copy of the GNU General -- +-- Public License distributed with GNARL; see file COPYING. If not, write -- +-- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- +-- MA 02111-1307, USA. -- +-- -- +-- As a special exception, if other files instantiate generics from this -- +-- unit, or you link this unit with other files to produce an executable, -- +-- this unit does not by itself cause the resulting executable to be -- +-- covered by the GNU General Public License. This exception does not -- +-- however invalidate any other reasons why the executable file might be -- +-- covered by the GNU Public License. -- +-- -- +-- GNARL was developed by the GNARL team at Florida State University. It is -- +-- now maintained by Ada Core Technologies Inc. in cooperation with Florida -- +-- State University (http://www.gnat.com). -- +-- -- +------------------------------------------------------------------------------ + +-- This is the PPC VxWorks 6.0 version of this package. A different version +-- is used for VxWorks 5.x + +with Interfaces.C; + +package System.VxWorks is + pragma Preelaborate (System.VxWorks); + + package IC renames Interfaces.C; + + -- Define enough of a Wind Task Control Block in order to + -- obtain the inherited priority. When porting this to + -- different versions of VxWorks (this is based on 6.0), + -- be sure to look at the definition for WIND_TCB located + -- in $WIND_BASE/target/h/taskLib.h + + type Wind_Fill_1 is array (0 .. 16#6B#) of IC.unsigned_char; + type Wind_Fill_2 is array (16#74# .. 16#10F#) of IC.unsigned_char; + + type Wind_TCB is record + Fill_1 : Wind_Fill_1; -- 0x00 - 0x6b + Priority : IC.int; -- 0x6c - 0x6f, current (inherited) priority + Normal_Priority : IC.int; -- 0x70 - 0x73, base priority + Fill_2 : Wind_Fill_2; -- 0x74 - 0x10f + spare1 : Address; -- 0x110 - 0x113 + spare2 : Address; -- 0x114 - 0x117 + spare3 : Address; -- 0x118 - 0x11b + spare4 : Address; -- 0x11c - 0x11f + end record; + type Wind_TCB_Ptr is access Wind_TCB; + + -- Floating point context record. PPC version + + FP_NUM_DREGS : constant := 32; + type Fpr_Array is array (1 .. FP_NUM_DREGS) of IC.double; + + type FP_CONTEXT is record + fpr : Fpr_Array; + fpcsr : IC.int; + pad : IC.int; + end record; + pragma Convention (C, FP_CONTEXT); + + Num_HW_Interrupts : constant := 256; + + -- For VxWorks 6.0 + type TASK_DESC is record + td_id : IC.int; -- task id + td_priority : IC.int; -- task priority + td_status : IC.int; -- task status + td_options : IC.int; -- task option bits (see below) + td_entry : Address; -- original entry point of task + td_sp : Address; -- saved stack pointer + td_pStackBase : Address; -- the bottom of the stack + td_pStackLimit : Address; -- the effective end of the stack + td_pStackEnd : Address; -- the actual end of the stack + td_stackSize : IC.int; -- size of stack in bytes + td_stackCurrent : IC.int; -- current stack usage in bytes + td_stackHigh : IC.int; -- maximum stack usage in bytes + td_stackMargin : IC.int; -- current stack margin in bytes + + td_PExcStkBase : Address; -- exception stack base + td_PExcStkPtr : Address; -- exception stack pointer + td_ExcStkHigh : IC.int; -- exception stack max usage + td_ExcStkMgn : IC.int; -- exception stack margin + + td_errorStatus : IC.int; -- most recent task error status + td_delay : IC.int; -- delay/timeout ticks + + td_PdId : Address; -- task's home protection domain + td_name : Address; -- name of task + end record; + + pragma Convention (C, TASK_DESC); + +end System.VxWorks; |