source: rtems/c/src/ada-tests/sptests/sp23/sptest.ads @ 48bfd992

4.104.114.84.95
Last change on this file since 48bfd992 was 7f79b673, checked in by Joel Sherrill <joel.sherrill@…>, on Jun 2, 1997 at 10:37:28 PM

readded body for "main" procedures

  • Property mode set to 100644
File size: 2.8 KB
Line 
1--
2--  SPTEST / SPECIFICATION
3--
4--  DESCRIPTION:
5--
6--  This package is the specification for Test 23 of the RTEMS
7--  Single Processor Test Suite.
8--
9--  DEPENDENCIES:
10--
11-- 
12--
13--  COPYRIGHT (c) 1989-1997.
14--  On-Line Applications Research Corporation (OAR).
15--  Copyright assigned to U.S. Government, 1994.
16--
17--  The license and distribution terms for this file may in
18--  the file LICENSE in this distribution or at
19--  http://www.OARcorp.com/rtems/license.html.
20--
21--  $Id$
22--
23
24with RTEMS;
25with SYSTEM;
26with System.Storage_Elements;
27
28package SPTEST is
29
30--
31--  These arrays contain the IDs and NAMEs of all RTEMS tasks created
32--  by this test.
33--
34
35   TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 1 ) of RTEMS.ID;
36   TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 1 ) of RTEMS.NAME;
37
38--
39--  These arrays contain the IDs and NAMEs of all RTEMS ports created
40--  by this test.
41--
42
43   PORT_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 1 ) of RTEMS.ID;
44   PORT_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 1 ) of RTEMS.NAME;
45
46--
47--  The following area defines a memory area to be used as the
48--  internal address space of the port.
49--
50
51   INTERNAL_PORT_AREA_ADDRESS : constant System.Address :=
52       System.Storage_Elements.To_Address(16#00001000#);
53
54   INTERNAL_PORT_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
55      of RTEMS.UNSIGNED8;
56   for INTERNAL_PORT_AREA use at INTERNAL_PORT_AREA_ADDRESS;
57
58--
59--  The following area defines a memory area to be used as the
60--  external address space of the port.
61--
62
63   EXTERNAL_PORT_AREA_ADDRESS : constant System.Address :=
64       System.Storage_Elements.To_Address(16#00002000#);
65
66   EXTERNAL_PORT_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
67      of RTEMS.UNSIGNED8;
68   for EXTERNAL_PORT_AREA use at EXTERNAL_PORT_AREA_ADDRESS;
69
70--
71--  The following area defines a memory area to be used for
72--  addresses which are below the address space of the port.
73--
74
75   BELOW_PORT_AREA_ADDRESS : constant System.Address :=
76       System.Storage_Elements.To_Address(16#00000500#);
77
78   BELOW_PORT_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
79      of RTEMS.UNSIGNED8;
80   for BELOW_PORT_AREA use at BELOW_PORT_AREA_ADDRESS;
81
82--
83--  The following area defines a memory area to be used for
84--  addresses which are above the address space of the port.
85--
86
87   ABOVE_PORT_AREA_ADDRESS : constant System.Address :=
88       System.Storage_Elements.To_Address(16#00003000#);
89
90   ABOVE_PORT_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
91      of RTEMS.UNSIGNED8;
92   for ABOVE_PORT_AREA use at ABOVE_PORT_AREA_ADDRESS;
93
94--
95--  INIT
96--
97--  DESCRIPTION:
98--
99--  This RTEMS task initializes the application.
100--
101
102   procedure INIT (
103      ARGUMENT : in     RTEMS.TASK_ARGUMENT
104   );
105
106--
107--  TASK_1
108--
109--  DESCRIPTION:
110--
111--  This RTEMS task tests the Dual Ported Memory Manager.
112--
113
114   procedure TASK_1 (
115      ARGUMENT : in     RTEMS.TASK_ARGUMENT
116   );
117
118end SPTEST;
Note: See TracBrowser for help on using the repository browser.