cc1310sdk中empty例程的GPIO问题

我最近买了两块cc1310的launchpad板子。正在学习。我发现电路板上的两个灯是DIO6和DIO7脚驱动的。但是例程里是这么写的。

while (1)

{

         sleep(time);
         GPIO_toggle(Board_GPIO_LED0);
}

其中Board_GPIO_LED0的意思是3。也就是DIO3。这个是不是冲突了。但是我用DIO3就能把灯点亮了。这个是怎么回事呢？