
  PROCEDURE [XREF] mmp$mark_page_flawed
    (    pfti: mmt$page_frame_index);

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