/* Disable a peripheral. Peripherals are disabled with this function. Once disabled, they will not operate or respond to register reads/writes.  */
void xSysCtlPeripheralDisable(unsigned long ulPeripheralID)
/* Disable a peripheral. Peripherals are disabled with this function. Once disabled, they will not operate or respond to register reads/writes.  */
void xSysCtlPeripheralDisable(unsigned long ulPeripheralID)
{
	SysCtlPeripheralDisable(ulPeripheralID);
}