I have configured the GPIO pins, but found that not all GPIO pins listed in generated code.
Siul2_Port_Ip_Cfg.h does not show few pins in the list.
One observation is that in Tspc_Port_Ip_Types.h I can see below line for one of such pin. Does this tell this pin is configured as ADC?
#define PTC11_OBE (uint64_t)(1ULL << 17) /* TSPC_ADC0 */