GAUDI2_DCORE0_ENGINE_ID_TPC_6
GAUDI2_DCORE0_ENGINE_ID_TPC_6,
[GAUDI2_DCORE0_ENGINE_ID_TPC_6] = TPC_ID_DCORE0_TPC6,
engine_idx = GAUDI2_DCORE0_ENGINE_ID_TPC_6;
__stringify(GAUDI2_DCORE0_ENGINE_ID_TPC_6),
return GAUDI2_DCORE0_ENGINE_ID_TPC_6;