
  PROCEDURE [XREF] pfp$verify_pva
    (    pva: ^cell;
         access_mode: mmt$va_access_mode;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc mmt$va_access_mode
*copyc ost$status
*copyc pfe$error_condition_codes
*copyc pfe$internal_error_conditions
?? POP ??
