--********************************************************************************************************************
-- Created: 30-Mar-2010 17:02:09 by OpenVMS SDL EV3-3      
-- Source:  31-OCT-1995 15:39:16 $1$DGA7274:[STARLET_ADA.LIS]VA_RANGEDEF.SDL;1 
--********************************************************************************************************************
with SYSTEM; use SYSTEM;
with STARLET; use STARLET;
with CONDITION_HANDLING; use CONDITION_HANDLING;
 
package VA_RANGEDEF is
 
--  module $VA_RANGEDEF
 
--+
-- Define the 32-bit virtual address range structure.
---
 
    type VA_RANGE_TYPE is
	record
	    START_VA	: ADDRESS;					--  Starting virtual address
	    END_VA	: ADDRESS;					--  Ending (last) virtual address
	end record;
 
	    for VA_RANGE_TYPE use 
		record
		    START_VA	at 0 range 0 .. 31;
		    END_VA	at 4 range 0 .. 31;
		end record;
	    for VA_RANGE_TYPE'SIZE use 64;
 
    VA_RANGE_TYPE_INIT : constant VA_RANGE_TYPE := 
	    (START_VA	=> ADDRESS_ZERO,
	    END_VA	=> ADDRESS_ZERO);
 
    VA_RANGE_K_LENGTH		: constant := 8;			--  Length of VA_RANGE structure
    VA_RANGE_C_LENGTH		: constant := 8;			--  Length of VA_RANGE structure
 
end VA_RANGEDEF;