PPFBK

Prolog  

Control Block Contents  
   PPFBK DSECT

Storage Layout  

Cross Reference (Contains links to field and bit definitions)  

PPFBK Prolog

 NAME       : HCPPPFBK
 DESCRIPTION: PSEUDO PAGE FAULT STACK BLOCK
 DSECT      : PPFBK
 FUNCTION   : A PPFBK REPRESENTS AN INSTANCE OF A PSEUDO
              PAGE FAULT.  THESE BLOCKS ARE CONNECTED TO
              ONE OF TWO CHAINS FROM THE VMDBK.
              THE CHAIN ANCHORED BY VMDPPFPT IS ALL PPFBKS
              REPRESENTING RESOLVED PSEUDO PAGE FAULTS IN THE
              primary address space for PAGEX whose
              INTERRUPT HAS NOT BEEN REFLECTED TO THE GUEST.
              THE CHAIN ANCHORED BY VMDPPFAR REPRESENTS
              primary address space page faults for version
              2 of PFAULT support as well as either version's
              AR-specified page faults.  They can be in various
              states of processing as indicated by PPFSTAT.
 LOCATED BY : PPFPNT   - CHAIN OF PPFBKS
              VMDPPFPT - Field of HCPVMDBK (PAGEX)
              VMDPPFAR - Field of HCPVMDBK (PFAULT)
 CREATED BY : HCPVIP
 DELETED BY : HCPPPF, HCPVIP
 SERIALIZED : Dispatch lock for contents and chains

PPFBK Control Block Content

PPFBK DSECT

Hex   Dec Type/Val   Lng Label (dup)    Comments
---- ---- --------- ---- -------------- --------
0000    0 Structure      PPFBK          PSEUDO PAGE FAULT STACK BLOCK
0000    0 Signed       4 PPFPNT         POINTER TO NEXT PPFBLOK ON STACK
0004    4 Signed       4 PPFALET        Effective host ALET associated
                                        with page fault. ALET may be 0.
0008    8 Dbl-Word     8 * (0)
0008    8 Address      8 PPFGADDR       64-bit host virtual page fault @
0008    8 Signed       4 *              High half, host virt pg fault @
000C   12 Signed       4 PPFADDR        31-bit virtual page fault addr
     THE REMAINING FIELDS OF THE PPFBK ARE USED ONLY FOR page faults which
     use the PFAULT interface
0010   16 Signed       8 * (0)
0010   16 Bitstring   16 PPFGPSW        Guest PSW at time of page fault
                                        in 64-bit image of CP
0010   16 Signed       8 PPFPSW         Guest PSW at time of page fault
                                        in 32-bit image of CP
0018   24 Signed       8 *              Low half of z/Arch guest PSW
0020   32 Signed       8 PPFGTOKEN      z/Architecture user defined page
                                        fault token
0020   32 Signed       4 *              Not used for ESA guest
0024   36 Signed       4 PPFTOKEN       ESA user defined pg fault token
0028   40 Signed       8 PPFGBADDR      z/Architecture user base register
                                        contents for AR qualified fault
0028   40 Signed       4 *
002C   44 Signed       4 PPFBADDR       ESA user base register contents
                                        for AR qualified page fault
0030   48 Signed       4 PPFVMDBK       ADDRESS OF PAGE FAULTING VMDBK
0034   52 Bitstring    1 PPFAREG        ACCESS REGISTER OF PAGE FAULT
0035   53 Bitstring    1 PPFSTAT        STATE OF AR-SPECIFIED PAGE FAULT
                                        THESE STATES ARE MUTUALLY
                                        EXCLUSIVE
          1... ....      PPFSCHIN       X'80' SCHEDULED FOR INITIATION
                                        INTERUPT
          .1.. ....      PPFCANCL       X'40' INITIATION INTERUPT
                                        CANCELED
          ..1. ....      PPFREFLT       X'20' INITIATION INTERUPT WAS
                                        REFLECTED
          ...1 ....      PPFRESLD       X'10' PAGE FAULT HAS BEEN
                                        RESOLVED
          .... 1...      PPFSCHCO       X'08' SCHEDULED FOR COMPLETION
                                        INTERUPT
0036   54 Bitstring    1 * (2)          RESERVED
          00000007       PPFBSIZE       (*-PPFBK+7)/8 PPF BLOCK SIZE IN
                                        DOUBLE WORDS

PPFBK Storage Layout

          
*** PPFBK - PSEUDO PAGE FAULT STACK BLOCK
*
*     +---------------------------+---------------------------+
*   0 |          PPFPNT           |         PPFALET           |
*     +---------------------------+---------------------------+
*   8 |                       PPFGADDR                        |
*     +-------------------------------------------------------+
*  10
*
*** PPFBK - PSEUDO PAGE FAULT STACK BLOCK
          
*** Overlay for PPFGADDR in PPFBK
*
*     +---------------------------+---------------------------+
*   8 |///////////////////////////|         PPFADDR           |
*     +---------------------------+---------------------------+
*  10 |                       PPFGPSW                         |
*     |                                                       |
*     +-------------------------------------------------------+
*  20
*
*** Overlay for PPFGADDR in PPFBK
          
*** Overlay for PPFGPSW in PPFBK
*
*     +-------------------------------------------------------+
*  10 |                        PPFPSW                         |
*     +-------------------------------------------------------+
*  18 |///////////////////////////////////////////////////////|
*     +-------------------------------------------------------+
*  20 |                      PPFGTOKEN                        |
*     +-------------------------------------------------------+
*  28
*
*** Overlay for PPFGPSW in PPFBK
          
*** Overlay for PPFGTOKEN in PPFBK
*
*     +---------------------------+---------------------------+
*  20 |///////////////////////////|         PPFTOKEN          |
*     +---------------------------+---------------------------+
*  28 |                      PPFGBADDR                        |
*     +-------------------------------------------------------+
*  30
*
*** Overlay for PPFGTOKEN in PPFBK
          
*** Overlay for PPFGBADDR in PPFBK
*
*     +---------------------------+---------------------------+
*  28 |///////////////////////////|         PPFBADDR          |
*     +---------------------------+------+------+-------------+
*  30 |         PPFVMDBK          |:AREG |:STAT |/////////////|
*     +---------------------------+------+------+-------------+
*  38
*
*** Overlay for PPFGBADDR in PPFBK

PPFBK Cross Reference

Symbol         Dspl Value
-------------- ---- -----
PPFADDR        000C
PPFALET        0004
PPFAREG        0034
PPFBADDR       002C
PPFBSIZE       0036 00000007
PPFCANCL       0035 40
PPFGADDR       0008
PPFGBADDR      0028
PPFGPSW        0010
PPFGTOKEN      0020
PPFPNT         0000
PPFPSW         0010
PPFREFLT       0035 20
PPFRESLD       0035 10
PPFSCHCO       0035 08
PPFSCHIN       0035 80
PPFSTAT        0035
PPFTOKEN       0024
PPFVMDBK       0030