How to trigger ADC3 injected conversion from HRTIM master timer?

I'm trying to have the HRTIM master timer trigger an injected conversion of ADC3 on the STM32H753.

I'm calling HAL_ADCEx_InjectedConfigChannel() with .ExternalTrigInjecConv = ADC_EXTERNALTRIGINJEC_HR1_ADCTRG2. This call halts in an assert_param() that invokes the IS_ADC_EXTTRIGINJEC() macro which does not include the ADC_EXTERNALTRIGINJEC_HR1_ADCTRG2 value, even though ADC_EXTERNALTRIGINJEC_HR1_ADCTRG2 is defined.

By comparison the IS_ADC_EXTTRIG() macro (for regular conversion) does include ADC_EXTERNALTRIG_HR1_ADCTRG1.

Wondering what I'm doing wrong.

Thanks.