PORTS: Read several pins

Read two different pins

#include "Ifx_Types.h"
#include "IfxCpu.h"
#include "IfxScuWdt.h"
#include "IfxPort_Io.h"
#include "Bsp.h"

IFX_ALIGN(4) IfxCpu_syncEvent g_cpuSyncEvent = 0;

void core0_main(void)
{
    uint32_t Pin5_State;
    uint32_t Pin0_State;

    IfxCpu_enableInterrupts();
    
    /* !!WATCHDOG0 AND SAFETY WATCHDOG ARE DISABLED HERE!!
     * Enable the watchdogs and service them periodically if it is required */
    IfxScuWdt_disableCpuWatchdog( IfxScuWdt_getCpuWatchdogPassword() );
    IfxScuWdt_disableSafetyWatchdog( IfxScuWdt_getSafetyWatchdogPassword() );
    
    /* Wait for CPU sync event */
    IfxCpu_emitEvent( &g_cpuSyncEvent );
    IfxCpu_waitEvent( &g_cpuSyncEvent, 1 );

    /*Set pin P21_5 as digital input*/
    IfxPort_setPinMode( &MODULE_P21, 5, IfxPort_Mode_inputNoPullDevice);
    IfxPort_setPinPadDriver( &MODULE_P21, 5, IfxPort_PadDriver_cmosAutomotiveSpeed1 )
    /*Set pin P21_0 as digital input*/
    IfxPort_setPinMode( &MODULE_P21, 0, IfxPort_Mode_inputNoPullDevice);
    IfxPort_setPinPadDriver( &MODULE_P21, 0, IfxPort_PadDriver_cmosAutomotiveSpeed1 )

    while(1)
    {
        /*Read the pin P21_5*/
        Pin5_State= IfxPort_getPinState( &MODULE_P21, 5u );
        /*Read the pin P21_0*/
        Pin0_State= IfxPort_getPinState( &MODULE_P25, 0u );

        if( Pin5_State == 1u )
        {
            /*the pin P21_5 is set to high, do something*/
        }
        if( Pin0_State == 0u )
        {
            /*the pin P21_0 is set to low, do something*/
        }
        /*this is just a delay to avoid polling the pin to often*/
        waitTime( IfxStm_getTicksFromMilliseconds( BSP_DEFAULT_TIMER, 50u ) );
    }
}