
  PROCEDURE [XREF] tmp$find_monitor_fault (trapped_sfsa: ^ost$stack_frame_save_area;
    VAR fault: ost$monitor_fault;
    VAR fault_found: boolean;
    VAR monitor_fault_handler: tmt$monitor_fault_handler);

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