/* Enables a peripheral. Peripherals are enabled with this function. At power-up, all peripherals are disabled; they must be enabled in order to operate or respond to register reads/writes.  */
void xSysCtlPeripheralEnable(unsigned long ulPeripheralID)
/* Enables a peripheral. Peripherals are enabled with this function. At power-up, all peripherals are disabled; they must be enabled in order to operate or respond to register reads/writes.  */
void xSysCtlPeripheralEnable(unsigned long ulPeripheralID)
{
	SysCtlPeripheralEnable(ulPeripheralID);
}