/* The values returned from this function can be passed to the  */
uint32_t SysCtlVoltageEventStatus(void)
/* The values returned from this function can be passed to the  */
uint32_t SysCtlVoltageEventStatus(void)
{
    return (HWREG(SYSCTL_PWRTC));
}