/* This function returns the NMI status for the system controller. The valid values for the  */
uint32_t SysCtlNMIStatus(void)
/* This function returns the NMI status for the system controller. The valid values for the  */
uint32_t SysCtlNMIStatus(void)
{
    return (HWREG(SYSCTL_NMIC));
}