-- --**************************************************************************** --* * --* Copyright (c) 2001 * --* by DIGITAL Equipment Corporation, Maynard, Mass. * --* * --* This software is furnished under a license and may be used and copied * --* only in accordance with the terms of such license and with the * --* inclusion of the above copyright notice. This software or any other * --* copies thereof may not be provided or otherwise made available to any * --* other person. No title to and ownership of the software is hereby * --* transferred. * --* * --* The information in this software is subject to change without notice * --* and should not be construed as a commitment by DIGITAL Equipment * --* Corporation. * --* * --* DIGITAL assumes no responsibility for the use or reliability of its * --* software on equipment which is not supplied by DIGITAL. * --* * --**************************************************************************** --******************************************************************************************************************** -- Created: 15-MAR-2001 22:50:15 by OpenVMS SDL EV1-33 -- Source: 2-SEP-1989 10:34:42 $11$DUA933:[LIB_ADA.LIS]BPTDEF.SDL;1 --******************************************************************************************************************** with SYSTEM; use SYSTEM; with STARLET; use STARLET; with CONDITION_HANDLING; use CONDITION_HANDLING; package BPTDEF is -- module $BPTDEF -- + -- -- Define bits which control which hardcoded calls to INI$BRK (the initial BPT) -- will be executed as a system is being booted. -- -- - BPT_M_INITBEGIN : constant := 16#00000001#; BPT_M_INITEND : constant := 16#00000002#; BPT_M_SMPSTART : constant := 16#00000004#; type BPTMSK_TYPE is -- Initial BPT enable mask record INITBEGIN : BOOLEAN; -- BRK at start of INIT INITEND : BOOLEAN; -- BRK at end of INIT SMPSTART : BOOLEAN; -- BRK at INIT call to setup SMP FILLER_1 : UNSIGNED_29; end record; for BPTMSK_TYPE use record INITBEGIN at 0 range 0 .. 0; INITEND at 0 range 1 .. 1; SMPSTART at 0 range 2 .. 2; FILLER_1 at 0 range 3 .. 31; end record; for BPTMSK_TYPE'SIZE use 32; BPTMSK_TYPE_INIT : constant BPTMSK_TYPE := (INITBEGIN => FALSE, INITEND => FALSE, SMPSTART => FALSE, FILLER_1 => 0); type BPT_TYPE is record BPTMSK : BPTMSK_TYPE; -- Initial BPT enable mask end record; for BPT_TYPE use record BPTMSK at 0 range 0 .. 31; end record; for BPT_TYPE'SIZE use 32; BPT_TYPE_INIT : constant BPT_TYPE := ( BPTMSK => BPTMSK_TYPE_INIT ); end BPTDEF;