--********************************************************************************************************************
-- Created:  9-Nov-2023 12:07:34 by OpenVMS SDL V3.7       
-- Source:  13-DEC-2020 08:21:02 $1$DGA8345:[LIB_ADA.LIS]HWPRTDEF.SDL;1 
--********************************************************************************************************************
with SYSTEM; use SYSTEM;
with STARLET; use STARLET;
with CONDITION_HANDLING; use CONDITION_HANDLING;
 
package HWPRTDEF is
 
--  module $HWPRTDEF
 
--+
-- Protection field definitions. These encodings are specific
-- to the architecture and should only be used for privileged
-- interfaces.
--
-- The definitions here specify the contents of the PROT field
-- in a PTE, and as it says just above, are architecture
-- specific.
--
-- For protection encodings available at the system-service
-- interface, see PRTDEF in STARLET.
--
-- For protection codes ready to OR directly into a zeroed PTE
-- (rather than assign to the PROT field), see PTEDEF.
--
-- For X86, the HWPRT$C_NA protection of No Access is not a
-- protection that can be specified within a valid PTE.  A
-- request for a No Access protection will result in the 
-- page being marked as invalid.
---
 
    HWPRT_C_HWPRT		: constant := -2147483648;		--  Identify protection argument as HW protection form
    HWPRT_M_HWPRT		: constant := -2147483648;		--  Identify protection argument as HW protection form
 
-- Verified for x86 port - Clair Grant
 
    HWPRT_C_NA			: constant := 0;			--  No Access
    HWPRT_C_KR			: constant := 1;			--  Kernel Read only
    HWPRT_C_KW			: constant := 17;			--  Kernel Write
    HWPRT_C_ER			: constant := 3;			--  Exec Read only
    HWPRT_C_EW			: constant := 51;			--  Exec Write
    HWPRT_C_SR			: constant := 7;			--  Super Read only
    HWPRT_C_SW			: constant := 119;			--  Super Write
    HWPRT_C_UR			: constant := 15;			--  User Read only
    HWPRT_C_UW			: constant := 255;			--  User Write
    HWPRT_C_ERKW		: constant := 19;			--  Exec Read Kernel Write
    HWPRT_C_SRKW		: constant := 23;			--  Super Read Kernel Write
    HWPRT_C_SREW		: constant := 55;			--  Super Read Exec Write
    HWPRT_C_URKW		: constant := 31;			--  User Read Kernel Write
    HWPRT_C_UREW		: constant := 63;			--  User Read Exec Write
    HWPRT_C_URSW		: constant := 127;			--  User Read Super Write
 
end HWPRTDEF;