--********************************************************************************************************************
-- Created:  9-Mar-2021 22:28:32 by OpenVMS SDL EV3-3      
-- Source:  20-APR-1993 14:37:17 $1$DGA8085:[LIB_ADA.LIS]PFBDEF.SDL;1 
--********************************************************************************************************************
with SYSTEM; use SYSTEM;
with STARLET; use STARLET;
with CONDITION_HANDLING; use CONDITION_HANDLING;
 
package PFBDEF is
 
--  module $PFBDEF
 
--+
-- PAGE FAULT MONITOR BUFFER
---
 
    PFB_B_USER_BUFFER		: constant := 12;
    PFB_B_BUFFER		: constant := 20;			-- Beginning of PC/VA pairs
    PFB_K_LENGTH		: constant := 524;			-- Length of PFB 
    PFB_C_LENGTH		: constant := 524;			-- Length of PFB 
    PFB_S_PFBDEF		: constant := 524;
 
    type PFB_USER_BUFFER_TYPE is					-- Buffer returned to user
	record
	    RECCNT	: UNSIGNED_LONGWORD;				-- Record count
	    OVERFLOW	: UNSIGNED_LONGWORD;				-- Overflow count
	    FILLER_1	: UNSIGNED_BYTE_ARRAY (1 .. 504);
	end record;
 
	    for PFB_USER_BUFFER_TYPE use 
		record
		    RECCNT	at 0 range 0 .. 31;
		    OVERFLOW	at 4 range 0 .. 31;
		    FILLER_1	at 8 range 0 .. 4031;
		end record;
	    for PFB_USER_BUFFER_TYPE'SIZE use 4096;
 
    PFB_USER_BUFFER_TYPE_INIT : constant PFB_USER_BUFFER_TYPE := 
	    (RECCNT	=> 0,
	    OVERFLOW	=> 0,
	    FILLER_1	=> (others => 0));
 
    type PFB_TYPE is
	record
	    FLINK	: ADDRESS;					-- Forward link
	    BLINK	: ADDRESS;					-- Back    link
	    SIZE	: UNSIGNED_WORD;				-- Structure size
	    TYP		: UNSIGNED_BYTE;				-- Dynamic structure type (PFB)
	    FILLER_1	: UNSIGNED_BYTE;				-- SPARE
	    USER_BUFFER	: PFB_USER_BUFFER_TYPE;				-- Buffer returned to user
	end record;
 
	    for PFB_TYPE use 
		record
		    FLINK	at 0 range 0 .. 31;
		    BLINK	at 4 range 0 .. 31;
		    SIZE	at 8 range 0 .. 15;
		    TYP		at 10 range 0 .. 7;
		    FILLER_1	at 11 range 0 .. 7;
		    USER_BUFFER	at 12 range 0 .. 4095;
		end record;
	    for PFB_TYPE'SIZE use 4192;
 
    PFB_TYPE_INIT : constant PFB_TYPE := 
	    (FLINK	=> ADDRESS_ZERO,
	    BLINK	=> ADDRESS_ZERO,
	    SIZE	=> 0,
	    TYP		=> 0,
	    FILLER_1	=> 0,
	    USER_BUFFER	=> PFB_USER_BUFFER_TYPE_INIT);
 
end PFBDEF;