  PROCEDURE [XREF] mmp$verify_pva (pointer_to_pva: ^cell;
        access: mmt$segment_access_type;
    VAR status: syt$monitor_status);

?? PUSH (LISTEXT := ON) ??
*copyc MMT$SEGMENT_ACCESS_TYPE
*copyc SYT$MONITOR_REQUEST_CODE
?? POP ??
