File : s-vxwork-arm.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 --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 1998-2013, Free Software Foundation, Inc. --
10 -- --
11 -- GNARL 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 -- GNARL was developed by the GNARL team at Florida State University. --
28 -- Extensive contributions were provided by Ada Core Technologies, Inc. --
29 -- --
30 ------------------------------------------------------------------------------
31
32 -- This is the ARM VxWorks version of this package
33
34 with Interfaces.C;
35
36 package System.VxWorks is
37 pragma Preelaborate (System.VxWorks);
38
39 package IC renames Interfaces.C;
40
41 -- Floating point context record. ARM version
42
43 FP_SGPR_NUM_REGS : constant := 32;
44 type Fpr_Sgpr_Array is array (1 .. FP_SGPR_NUM_REGS) of IC.unsigned;
45
46 -- The record definition below matches what arch/arm/fppArmLib.h says
47
48 type FP_CONTEXT is record
49 fpsid : IC.unsigned; -- system ID register
50 fpscr : IC.unsigned; -- status and control register
51 fpexc : IC.unsigned; -- exception register
52 fpinst : IC.unsigned; -- instruction register
53 fpinst2 : IC.unsigned; -- instruction register 2
54 mfvfr0 : IC.unsigned; -- media and VFP feature Register 0
55 mfvfr1 : IC.unsigned; -- media and VFP feature Register 1
56 pad : IC.unsigned;
57 vfp_gpr : Fpr_Sgpr_Array;
58 end record;
59
60 for FP_CONTEXT'Alignment use 4;
61 pragma Convention (C, FP_CONTEXT);
62
63 Num_HW_Interrupts : constant := 256;
64 -- Number of entries in hardware interrupt vector table
65
66 end System.VxWorks;