
  PROCEDURE [XREF] jmp$add_to_server_restart_file
    (    swap_file_path_p: ^pft$path;
         recover_using_abort_disposition: boolean);

?? PUSH (LISTEXT := ON) ??
*copyc pft$path
?? POP ??
