
{  Define the format of the monitor request for injecting hardware faults in
{  monitor mode.

  TYPE
    syt$rb_inject_hardware_fault = record
      request_code: ALIGNED [0 MOD 8] syt$monitor_request_code,
      status: syt$monitor_status,
      hardware_fault_request: syt$hardware_fault_request,
      traps_enabled: boolean,
      rma: integer,
    recend;

*copyc syt$hardware_fault_kind
*copyc syt$hardware_fault_request
*copyc syt$monitor_request_code
*copyc syc$monitor_request_codes
