

  PROCEDURE [XREF] tmp$send_monitor_fault (task_id {input} : ost$global_task_id;
        monitor_fault_p {input} : ^ost$monitor_fault;
        check_traps_enabled {input} : BOOLEAN);

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