/* Performs a software reset of a peripheral. This function performs a software reset of the specified peripheral. An individual peripheral reset signal is asserted for a brief period and then deasserted, returning the internal state of the peripheral to its reset condition.  */
void xSysCtlPeripheralReset(unsigned long ulPeripheralID)
/* Performs a software reset of a peripheral. This function performs a software reset of the specified peripheral. An individual peripheral reset signal is asserted for a brief period and then deasserted, returning the internal state of the peripheral to its reset condition.  */
void xSysCtlPeripheralReset(unsigned long ulPeripheralID)
{
	SysCtlPeripheralReset(ulPeripheralID);
}