I am trying a code for blinking user RGB LEDs on S32K3X4EVB T-172 Evaluation Board using S32DS v3.4.
Below attached is the code file and I am getting errors in the following lines :
1) Siul2_Dio_Ip_TogglePins(LED_GREEN_PORT, (1<<LED_GREEN_PIN));
2) Siul2_Dio_Ip_TogglePins(LED_RED_PORT, (1<<LED_RED_PIN));
3)Siul2_Dio_Ip_TogglePins(LED_BLUE_PORT, (1<<LED_RED_PIN));
4)Clock_Ip_Init(&Mcu_aClockConfigPB[0]);

Also please help me how I should configure the pins from the PINS section and which pins should be used in this project