void WorkstationModel_debug_initialize(void)
{
  _WorkstationModelMachineNumber_ = sf_debug_initialize_machine(
    "WorkstationModel","sfun",0,12,0,0,0);
  sf_debug_set_machine_event_thresholds(_WorkstationModelMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_WorkstationModelMachineNumber_,0);
}

void DIPCalt_debug_initialize(struct SfDebugInstanceStruct* debugInstance)
{
  _DIPCaltMachineNumber_ = sf_debug_initialize_machine(debugInstance,"DIPCalt",
    "sfun",0,18,0,0,0);
  sf_debug_set_machine_event_thresholds(debugInstance,_DIPCaltMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(debugInstance,_DIPCaltMachineNumber_,0);
}

void Quadrotor_debug_initialize(void)
{
  _QuadrotorMachineNumber_ = sf_debug_initialize_machine("Quadrotor","sfun",0,3,
    0,0,0);
  sf_debug_set_machine_event_thresholds(_QuadrotorMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_QuadrotorMachineNumber_,0);
}

void DVM_Hirtle_original_debug_initialize(void)
{
  _DVM_Hirtle_originalMachineNumber_ = sf_debug_initialize_machine(
    "DVM_Hirtle_original","sfun",0,1,0,0,0);
  sf_debug_set_machine_event_thresholds(_DVM_Hirtle_originalMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_DVM_Hirtle_originalMachineNumber_,0);
}

void elad_debug_initialize(struct SfDebugInstanceStruct* debugInstance)
{
  _eladMachineNumber_ = sf_debug_initialize_machine(debugInstance,"elad","sfun",
    0,0,0,0,0);
  sf_debug_set_machine_event_thresholds(debugInstance,_eladMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(debugInstance,_eladMachineNumber_,0);
}

void MPC_framework_debug_initialize(void)
{
  _MPC_frameworkMachineNumber_ =
  sf_debug_initialize_machine("MPC_framework","sfun",0,6,0,0,0);
  sf_debug_set_machine_event_thresholds(_MPC_frameworkMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_MPC_frameworkMachineNumber_,0);
}

void sensor_block_complete_debug_initialize(void)
{
  _sensor_block_completeMachineNumber_ = sf_debug_initialize_machine(
    "sensor_block_complete","sfun",0,6,0,0,0);
  sf_debug_set_machine_event_thresholds(_sensor_block_completeMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_sensor_block_completeMachineNumber_,0);
}

void Pendulum_debug_initialize(void)
{
  _PendulumMachineNumber_ =
  sf_debug_initialize_machine("Pendulum","sfun",0,1,0,0,0);
  sf_debug_set_machine_event_thresholds(_PendulumMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_PendulumMachineNumber_,0);
}

void OldCameraGantryStuff_debug_initialize(void)
{
  _OldCameraGantryStuffMachineNumber_ = sf_debug_initialize_machine(
    "OldCameraGantryStuff","sfun",0,3,0,0,0);
  sf_debug_set_machine_event_thresholds(_OldCameraGantryStuffMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_OldCameraGantryStuffMachineNumber_,0);
}

void Batman_Code_debug_initialize(void)
{
  _Batman_CodeMachineNumber_ = sf_debug_initialize_machine("Batman_Code","sfun",
    0,13,0,0,0);
  sf_debug_set_machine_event_thresholds(_Batman_CodeMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_Batman_CodeMachineNumber_,0);
}

void Maze_Omni_debug_initialize(void)
{
  _Maze_OmniMachineNumber_ =
  sf_debug_initialize_machine("Maze_Omni","sfun",0,4,0,0,0);
  sf_debug_set_machine_event_thresholds(_Maze_OmniMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_Maze_OmniMachineNumber_,0);
}

void commsdrhw_debug_initialize(void)
{
  _commsdrhwMachineNumber_ = sf_debug_initialize_machine("commsdrhw","sfun",1,1,
    0,0,0);
  sf_debug_set_machine_event_thresholds(_commsdrhwMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_commsdrhwMachineNumber_,0);
}

void GPCA_Extension_debug_initialize(void)
{
  _GPCA_ExtensionMachineNumber_ = sf_debug_initialize_machine("GPCA_Extension",
    "sfun",0,4,0,0,0);
  sf_debug_set_machine_event_thresholds(_GPCA_ExtensionMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_GPCA_ExtensionMachineNumber_,0);
}

void trajectory_test_debug_initialize(void)
{
  _trajectory_testMachineNumber_ = sf_debug_initialize_machine("trajectory_test",
    "sfun",0,4,0,0,0);
  sf_debug_set_machine_event_thresholds(_trajectory_testMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_trajectory_testMachineNumber_,0);
}

void IPC4M_debug_initialize(struct SfDebugInstanceStruct* debugInstance)
{
  _IPC4MMachineNumber_ = sf_debug_initialize_machine(debugInstance,"IPC4M",
    "sfun",0,14,0,0,0);
  sf_debug_set_machine_event_thresholds(debugInstance,_IPC4MMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(debugInstance,_IPC4MMachineNumber_,0);
}

void YCbCrTesting_debug_initialize(void)
{
  _YCbCrTestingMachineNumber_ = sf_debug_initialize_machine("YCbCrTesting",
    "sfun",0,6,0,0,0);
  sf_debug_set_machine_event_thresholds(_YCbCrTestingMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_YCbCrTestingMachineNumber_,0);
}

void minimalist08_noMPC_03_debug_initialize(void)
{
  _minimalist08_noMPC_03MachineNumber_ = sf_debug_initialize_machine(
    "minimalist08_noMPC_03","sfun",0,1,0,0,0);
  sf_debug_set_machine_event_thresholds(_minimalist08_noMPC_03MachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_minimalist08_noMPC_03MachineNumber_,0);
}

void turbofan_debug_initialize(void)
{
  _turbofanMachineNumber_ = sf_debug_initialize_machine("turbofan","sfun",0,0,0,
    0,0);
  sf_debug_set_machine_event_thresholds(_turbofanMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_turbofanMachineNumber_,0);
}

void iC_1ph_MR2_debug_initialize(void)
{
  _iC_1ph_MR2MachineNumber_ = sf_debug_initialize_machine("iC_1ph_MR2","sfun",0,
    1,0,0,0);
  sf_debug_set_machine_event_thresholds(_iC_1ph_MR2MachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_iC_1ph_MR2MachineNumber_,0);
}

void MPEGConversion_debug_initialize(void)
{
  _MPEGConversionMachineNumber_ = sf_debug_initialize_machine("MPEGConversion",
    "sfun",0,6,0,0,0);
  sf_debug_set_machine_event_thresholds(_MPEGConversionMachineNumber_,0,0);
  sf_debug_set_machine_data_thresholds(_MPEGConversionMachineNumber_,0);
}