/* The response to a brown out on the VDD rail is set by using one of the following values: */
void SysCtlVoltageEventConfig(uint32_t ui32Config)
/* The response to a brown out on the VDD rail is set by using one of the following values: */
void SysCtlVoltageEventConfig(uint32_t ui32Config)
{
    HWREG(SYSCTL_PTBOCTL) = ui32Config;
}