PWM功能复用提示没有定义

我的产品要用到PWM,我编写以下程序:
void PWM_Init()
[
          SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOF);                        /*  使能PWM输出所在GPIO  */
    SysCtlPeripheralEnable(SYSCTL_PERIPH_PWM);                         /*  使能PWM模块                 */
    SysCtlPWMClockSet(SYSCTL_PWMDIV_1);                                 /*  PWM时钟配置：不分频         */
          GPIOPinConfigure(GPIO_PF0_PWM);
    GPIOPinTypePWM(GPIO_PORTF_BASE, GPIO_PIN_0);                        /*  PF0配置为PWM功能  D7          */
    GPIOPinTypePWM(GPIO_PORTF_BASE, GPIO_PIN_1);                        /*  PF1配置为PWM功能  D6          */
    GPIOPinTypePWM(GPIO_PORTF_BASE, GPIO_PIN_2);                        /*  PF2配置为PWM功能  D5          */
          GPIOPinTypePWM(GPIO_PORTF_BASE, GPIO_PIN_3);                        /*  PF3配置为PWM功能  D4          */
    PWMGenConfigure(PWM_BASE, PWM_GEN_3,                                /*  配置PWM发生器1：加减计数    */
                    PWM_GEN_MODE_DOWN );
    PWMGenPeriodSet(PWM_BASE, PWM_GEN_3, 6000);                         /*  设置PWM发生器1的周期        */
    PWMPulseWidthSet(PWM_BASE, PWM_OUT_4, 4200);                        /*  设置PWM4输出的脉冲宽度      */
    PWMPulseWidthSet(PWM_BASE, PWM_OUT_5, 1800);                        /*  设置PWM5输出的脉冲宽度      */
          PWMPulseWidthSet(PWM_BASE, PWM_OUT_6, 1000);                        /*  设置PWM6输出的脉冲宽度      */
          PWMPulseWidthSet(PWM_BASE, PWM_OUT_7, 500);                         /*  设置PWM7输出的脉冲宽度      */
    PWMOutputState(PWM_BASE, (PWM_OUT_4_BIT | PWM_OUT_5_BIT | PWM_OUT_6_BIT | PWM_OUT_7_BIT), true);    /*  使能PWM输出 */
    PWMGenEnable(PWM_BASE, PWM_GEN_3);                                  /*  使能PWM发生器1，            */
                                                                        /*  开始产生PWM方波             */
         // while(1);
]
在编译的时候这句编译不过.
GPIOPinConfigure(GPIO_PF0_PWM);提示没有定义.请问GPIO_PF0_PWM是在哪个文件定义的呢?我加的头文件有:
#include "inc/hw_ints.h"
#include "inc/hw_memmap.h"
#include "inc/hw_pwm.h"
#include "inc/hw_sysctl.h"
#include "inc/hw_types.h"
#include "driverlib/debug.h"
#include "driverlib/interrupt.h"
#include "driverlib/pwm.h"
#include "led-test.h"
#include "driverlib/gpio.h"
要怎么解决?谢谢!!!