

  PROCEDURE [XREF] mmp$segment_fault_handler (segment_access_fault {input} :
    ost$monitor_fault;
        fault_save_area_p {input} : ^ost$stack_frame_save_area);

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