STM32F437 ADC GPIO pin config

We want to use ADC2 but it is not listed as an altenate function but as an additional function in RM0090. So I was wondering how I should configure the pins.

This is what I am guessing is correct:

GPIO_StructInit(&GPIO_InitStruct);

GPIO_InitStruct.GPIO_Pin = GPIO_Pin_4|GPIO_Pin_5|GPIO_Pin_6;

GPIO_InitStruct.GPIO_Mode = GPIO_Mode_AN;

GPIO_InitStruct.GPIO_PuPd = GPIO_PuPd_NOPULL; GPIO_Init(GPIOA, &GPIO_InitStruct);

Thanks,

JH