
  PROCEDURE [XREF] tmp$post_monitor_fault_sfsa (sfsa: ^ost$stack_frame_save_area;
    VAR monitor_fault_present: boolean);

?? PUSH (LISTEXT := ON) ??
*copyc OST$STACK_FRAME_SAVE_AREA
?? POP ??
