#ifndef  __SYSTEM_INIT_H__
#define  __SYSTEM_INIT_H__

//  包含必要的頭文件
#include  <hw_types.h>
#include  <hw_memmap.h>
#include  <hw_ints.h>
#include  <interrupt.h>
#include  <sysctl.h>
#include  <gpio.h>

//  將較長的標識符定義成較短的形式
#define  SysCtlPeriEnable       SysCtlPeripheralEnable
#define  SysCtlPeriDisable      SysCtlPeripheralDisable
#define  GPIOPinTypeIn          GPIOPinTypeGPIOInput
#define  GPIOPinTypeOut         GPIOPinTypeGPIOOutput
#define  GPIOPinTypeOD          GPIOPinTypeGPIOOutputOD

extern unsigned long TheSysClock;                           //  聲明全局的系統時鐘變量
extern void jtagWait(void);                                 //  防止JTAG失效
extern void clockInit(void);                                //  系統時鐘初始化

#endif  //  __SYSTEM_INIT_H__