
  PROCEDURE [XREF] jsp$initiate_swapout_io
    (VAR pages_flushed: mmt$page_frame_index);

?? PUSH (LISTEXT := ON) ??
*copyc mmt$page_frame_index
?? POP ??
