想要在TI送的8962板子上用计时器中断实现LED闪烁，代码是网上找的，但是下载到板子后没有实现功能，我看不出问题，请大家指教
#include "hw_ints.h"
#include "hw_memmap.h"
#include "hw_types.h"
#include "debug.h"
#include "gpio.h"
#include "interrupt.h"
#include "sysctl.h"
#include "systick.h"

int main (void)
{

SysCtlClockSet(SYSCTL_SYSDIV_1 | SYSCTL_USE_OSC | SYSCTL_OSC_MAIN | SYSCTL_XTAL_6MHZ);
SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOF);


GPIOPadConfigSet(GPIO_PORTF_BASE, GPIO_PIN_0 ,GPIO_STRENGTH_2MA, GPIO_PIN_TYPE_STD);
GPIOPinTypeGPIOOutput(GPIO_PORTF_BASE, GPIO_PIN_0);
GPIOPinWrite(GPIO_PORTF_BASE, GPIO_PIN_0, 1);


IntMasterEnable(); /* 开放总中断 */
SysTickPeriodSet(6000000); /* 设置定时周期为1秒，即8M */
SysTickEnable(); /* 系统定时器使能 */
SysTickIntEnable(); /* 系统定时器中断使能 */
while (1){;}
}
void SysTickint (void)
{
GPIOPinWrite(GPIO_PORTF_BASE,GPIO_PIN_0, ~GPIOPinRead(GPIO_PORTF_BASE, GPIO_PIN_0));                                                   //~GPIOPinRead(GPIO_PORTF_BASE, GPIO_PIN_0)
} 此帖出自小平头技术问答