TMDSDSK6713: Some of the GPIO pins not work in DSK6713

Hii,

In my DSK6713 kit some of GPIO not work which listed below:

Not Work: GP0, GP1, GP3, GP8, GP9, GP10, GP11, GP12, GP13, GP14, GP15

Work: GP2, GP4, GP5, GP6, GP7

So my concern is why above listed GPIO not work as output/input? Is there any problem in Code or Hardware changes? because earlier it was working Fine.  

MY Code:

#include <dsk6713.h> //Header File of DSK6713
#include <stdio.h>
#include <csl.h>
#include <csl_gpioleg.h>
#include <csl_gpiohal.h>
#include <csl_chip.h>

Uint32 PinID= GPIO_PIN8 | GPIO_PIN9 | GPIO_PIN10 | GPIO_PIN11 | GPIO_PIN12 | GPIO_PIN13 | GPIO_PIN14 | GPIO_PIN15;
GPIO_Handle hGpio; //GPIO handle
Uint32 Current_dir; //GPIO current direction variable
Uint32 PinID_addr= GPIO_PIN1 | GPIO_PIN2 | GPIO_PIN3 | GPIO_PIN4 | GPIO_PIN5 | GPIO_PIN6 | GPIO_PIN7 | GPIO_PIN8 | GPIO_PIN9 | GPIO_PIN10 | GPIO_PIN11 | GPIO_PIN12 | GPIO_PIN13 | GPIO_PIN14 | GPIO_PIN15; //address pins define
void main()
{
GPIO_Config MyConfig = {
0x00000031, // gpgc
0x000000F9, // gpen
0x00000070, // gdir
0x00000082, // gpval
0x00000000, // gphm
0x00000000, // gplm
0x00000030 // gppol
};
hGpio = GPIO_open(GPIO_DEV0,GPIO_OPEN_RESET); //Reset GPIO handle
GPIO_config(hGpio,&MyConfig); // Configure GPIO

GPIO_pinEnable(hGpio,PinID_addr); // Enables address Pins

GPIO_pinDirection(hGpio,PinID_addr,GPIO_OUTPUT);
while(1)
{

GPIO_write(hGpio,PinID_addr,0xFF); 
DSK6713_waitusec(1000000); //delay function in microsecond
GPIO_write(hGpio,PinID_addr,0x00);
DSK6713_waitusec(500000); //delay function in microsecond

DSK6713_LED_toggle(0); //On board LED 0 toggles
}
}

 Thanks in advance

Hasmukh N.