
  PROCEDURE [XREF] mtp$inject_hardware_fault
    (    processor_id: ost$processor_id);


*copyc ost$processor_id
