sptests/sp23/sptest.ads

0001 -- SPDX-License-Identifier: BSD-2-Clause
0002
0003 --
0004 --  SPTEST / SPECIFICATION
0005 --
0006 --  DESCRIPTION:
0007 --
0008 --  This package is the specification for Test 23 of the RTEMS
0009 --  Single Processor Test Suite.
0010 --
0011 --  DEPENDENCIES:
0012 --
0013 --
0014 --
0015 --  COPYRIGHT (c) 1989-2011.
0016 --  On-Line Applications Research Corporation (OAR).
0017 --
0018 --  Redistribution and use in source and binary forms, with or without
0019 --  modification, are permitted provided that the following conditions
0020 --  are met:
0021 --  1. Redistributions of source code must retain the above copyright
0022 --     notice, this list of conditions and the following disclaimer.
0023 --  2. Redistributions in binary form must reproduce the above copyright
0024 --     notice, this list of conditions and the following disclaimer in the
0025 --     documentation and/or other materials provided with the distribution.
0026 --
0027 --  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0028 --  AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0029 --  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0030 --  ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0031 --  LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0032 --  CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0033 --  SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0034 --  INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0035 --  CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0036 --  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0037 --  POSSIBILITY OF SUCH DAMAGE.
0038 --
0039
0040 with RTEMS;
0041 with RTEMS.TASKS;
0042 with SYSTEM;
0043 with System.Storage_Elements;
0044
0045 package SPTEST is
0046
0047 --
0048 --  These arrays contain the IDs and NAMEs of all RTEMS tasks created
0049 --  by this test.
0050 --
0051
0052    TASK_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 1 ) of RTEMS.ID;
0053    TASK_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 1 ) of RTEMS.NAME;
0054
0055 --
0056 --  These arrays contain the IDs and NAMEs of all RTEMS ports created
0057 --  by this test.
0058 --
0059
0060    PORT_ID   : array ( RTEMS.UNSIGNED32 range 1 .. 1 ) of RTEMS.ID;
0061    PORT_NAME : array ( RTEMS.UNSIGNED32 range 1 .. 1 ) of RTEMS.NAME;
0062
0063 --
0064 --  The following area defines a memory area to be used as the
0065 --  internal address space of the port.
0066 --
0067
0068    INTERNAL_PORT_AREA_ADDRESS : constant System.Address :=
0069        System.Storage_Elements.To_Address(16#00001000#);
0070
0071    INTERNAL_PORT_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
0072       of RTEMS.UNSIGNED8;
0073    for INTERNAL_PORT_AREA'Address use INTERNAL_PORT_AREA_ADDRESS;
0074
0075 --
0076 --  The following area defines a memory area to be used as the
0077 --  external address space of the port.
0078 --
0079
0080    EXTERNAL_PORT_AREA_ADDRESS : constant System.Address :=
0081        System.Storage_Elements.To_Address(16#00002000#);
0082
0083    EXTERNAL_PORT_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
0084       of RTEMS.UNSIGNED8;
0085    for EXTERNAL_PORT_AREA'Address use EXTERNAL_PORT_AREA_ADDRESS;
0086
0087 --
0088 --  The following area defines a memory area to be used for
0089 --  addresses which are below the address space of the port.
0090 --
0091
0092    BELOW_PORT_AREA_ADDRESS : constant System.Address :=
0093        System.Storage_Elements.To_Address(16#00000500#);
0094
0095    BELOW_PORT_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
0096       of RTEMS.UNSIGNED8;
0097    for BELOW_PORT_AREA'Address use BELOW_PORT_AREA_ADDRESS;
0098
0099 --
0100 --  The following area defines a memory area to be used for
0101 --  addresses which are above the address space of the port.
0102 --
0103
0104    ABOVE_PORT_AREA_ADDRESS : constant System.Address :=
0105        System.Storage_Elements.To_Address(16#00003000#);
0106
0107    ABOVE_PORT_AREA : array ( RTEMS.UNSIGNED32 range 0 .. 255 )
0108       of RTEMS.UNSIGNED8;
0109    for ABOVE_PORT_AREA'Address use ABOVE_PORT_AREA_ADDRESS;
0110
0111 --
0112 --  INIT
0113 --
0114 --  DESCRIPTION:
0115 --
0116 --  This RTEMS task initializes the application.
0117 --
0118
0119    procedure INIT (
0120       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0121    );
0122    pragma Convention (C, INIT);
0123
0124 --
0125 --  TASK_1
0126 --
0127 --  DESCRIPTION:
0128 --
0129 --  This RTEMS task tests the Dual Ported Memory Manager.
0130 --
0131
0132    procedure TASK_1 (
0133       ARGUMENT : in     RTEMS.TASKS.ARGUMENT
0134    );
0135    pragma Convention (C, TASK_1);
0136
0137 end SPTEST;