请问高手，我的这个程序为什么没有进入系统定时器。谢谢

#include <stm32f10x_lib.h>
#define u16  unsigned short
#define u32  unsigned long

/* Private function prototypes -----------------------------------------------*/
void RCC_Configuration(void);
void NVIC_Configuration(void);
void GPIO_Configuration(void);
void SysTick_Init(void);
main(void)
{
         RCC_Configuration();          //配置时钟
         NVIC_Configuration();          //设置中断向量
         GPIO_Configuration();           //配置GPIO
         SysTick_Init();           // 定时器初始化
         while(1);
}
void SysTickHandler(void)                  //中断服务程序
{
  GPIO_ResetBits(GPIOC, GPIO_Pin_2);         // 点亮一个LED灯
}

void RCC_Configuration(void)         //配置时钟
{ErrorStatus HSEStartUpStatus;
  /* RCC system reset(for debug purpose) */
  RCC_DeInit();
  /* Enable HSE */
  RCC_HSEConfig(RCC_HSE_ON);//使能外部时钟
  /* Wait till HSE is ready */
  HSEStartUpStatus = RCC_WaitForHSEStartUp();//等待外部时钟就绪
  if(HSEStartUpStatus == SUCCESS)
  {
    /* Enable Prefetch Buffer 启用预取缓冲器 */
    FLASH_PrefetchBufferCmd(FLASH_PrefetchBuffer_Enable);
    /* Flash 2 wait state FLASH设置2个等待周期*/
    FLASH_SetLatency(FLASH_Latency_2);
    /* HCLK = SYSCLK 设置系统设置*/
    RCC_HCLKConfig(RCC_SYSCLK_Div1);
    /* PCLK2 = HCLK PCLK2时钟=主时钟*/
    RCC_PCLK2Config(RCC_HCLK_Div1);
    /* PCLK1 = HCLK/2 PCLK1时钟为主时钟1/2*/
    RCC_PCLK1Config(RCC_HCLK_Div2);
    /* PLLCLK = 8MHz * 9 = 72 MHz 设置时钟为72M*/
    RCC_PLLConfig(RCC_PLLSource_HSE_Div1, RCC_PLLMul_9);
    /* Enable PLL 使能PLL*/
    RCC_PLLCmd(ENABLE);
    /* Wait till PLL is ready 等待PLL工作稳定*/
    while(RCC_GetFlagStatus(RCC_FLAG_PLLRDY) == RESET)
    {
    }
    /* Select PLL as system clock source 选择PLL做为系统时钟源*/
    RCC_SYSCLKConfig(RCC_SYSCLKSource_PLLCLK);
    /* Wait till PLL is used as system clock source 准备就绪，开始干活*/
    while(RCC_GetSYSCLKSource() ！= 0x08)
    {
    }
  }
}

void GPIO_Configuration(void) //配置GPIO
{
  GPIO_InitTypeDef GPIO_InitStructure;
  /* Enable GPIO_LED clock */
  RCC_APB2PeriphClockCmd(RCC_APB2Periph_GPIOC, ENABLE);//使能GPIO时钟
  //LED_init-------------------------------------------------------
  ////配置管脚
  GPIO_InitStructure.GPIO_Pin = GPIO_Pin_0 | GPIO_Pin_1 | GPIO_Pin_2;
  GPIO_InitStructure.GPIO_Speed = GPIO_Speed_50MHz;//最大输出速度为50MHz
  GPIO_InitStructure.GPIO_Mode = GPIO_Mode_Out_PP;////通用推挽输出
  GPIO_Init(GPIOC, &GPIO_InitStructure);                         //设置GPIO为输出
        GPIO_SetBits(GPIOC, GPIO_Pin_2|GPIO_Pin_1|GPIO_Pin_0);
}

void NVIC_Configuration(void)
{
//#ifdef  VECT_TAB_RAM
#if defined (VECT_TAB_RAM)
  /* Set the Vector Table base location at 0x20000000 */
  NVIC_SetVectorTable(NVIC_VectTab_RAM, 0x0); //设置中断向量在RAM中
//#elif defined(VECT_TAB_FLASH_IAP)
//  NVIC_SetVectorTable(NVIC_VectTab_FLASH, 0x2000);
#else  /* VECT_TAB_FLASH  */
  /* Set the Vector Table base location at 0x08000000 */
  NVIC_SetVectorTable(NVIC_VectTab_FLASH, 0x0); //设置中断向量在FLASH中  
#endif
}
void SysTick_Init(void)        // 定时器初始化
{
  /* SysTick end of count event each 1ms with input clock equal to 9MHz (HCLK/8, default) */
  //设置系统定时器中断时间为1ms
  SysTick_SetReload(9000);
  /* Enable SysTick interrupt */
  //允许系统定时器中断
  SysTick_ITConfig(ENABLE);
  /* Enable the SysTick Counter */
  //使能系统定时器
  SysTick_CounterCmd(SysTick_Counter_Enable);
}