LAUNCHXL-F280049C: User controller LED(Red one-GPIO23) doesn't work.

Part Number:LAUNCHXL-F280049C

Hello friends.

I am trying learn this launchpad but I even got problems with basics. The manual says GPIO23 and 34 are user controlled LED's but GPIO 23 doesn't work. I checked with multimeter the LED looks fine. I can use the GPIO34 without a problem. Here is my code.

void main(void)
{

    Device_init();
 
    //
    // Initialize GPIO and configure the GPIO pin as a push-pull output
    //
    Device_initGPIO();
    GPIO_setPadConfig(23, GPIO_PIN_TYPE_STD);
    GPIO_setDirectionMode(23, GPIO_DIR_MODE_OUT);
    GPIO_setPadConfig(34, GPIO_PIN_TYPE_STD);
    GPIO_setDirectionMode(34, GPIO_DIR_MODE_OUT);


    for(;;)
    {


        GPIO_togglePin(23);
        GPIO_togglePin(34);


    }
}