
  TYPE
    ost$recover_system_set_phase = (osc$recovery_not_required,
      osc$reinitialize_system_device);
