
  PROCEDURE [INLINE] gfp$verify_get_fde_p (sfid: gft$system_file_identifier;
    VAR fde_p: gft$file_desc_entry_p;
    VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??

    status.normal := TRUE;
    gfp$get_fde_p (sfid, fde_p);
    IF fde_p = NIL THEN
      osp$set_status_condition (dme$invalid_sfid, status);
    IFEND;

  PROCEND gfp$verify_get_fde_p;

*copyc gfp$get_fde_p
*copyc dmt$error_condition_codes
*copyc osp$set_status_condition
*copyc ost$status
?? POP ??
