#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;


//  防止JTAG失效
extern void jtagWait(void);


//  系統時鐘初始化
extern void clockInit(void);


#endif  //  __SYSTEM_INIT_H__