128     return SYSCTL->SRAM_SIZE;  in SysCtl_getSRAMSize()
133     return SYSCTL->FLASH_SIZE;  in SysCtl_getFlashSize()
138     SYSCTL->NMI_CTLSTAT &= ~(flags);  in SysCtl_disableNMISource()
143     SYSCTL->NMI_CTLSTAT |= flags;  in SysCtl_enableNMISource()
148     return SYSCTL->NMI_CTLSTAT & (SYSCTL_NMI_CTLSTAT_CS_FLG |   in SysCtl_getNMISourceStatus()
159     while (!(SYSCTL->SRAM_BANKEN & SYSCTL_SRAM_BANKEN_SRAM_RDY))  in SysCtl_enableSRAMBank()
162     SYSCTL->SRAM_BANKEN = (sramBank | SYSCTL_SRAM_BANKEN_BNK0_EN);  in SysCtl_enableSRAMBank()
170     while (!(SYSCTL->SRAM_BANKEN & SYSCTL_SRAM_BANKEN_SRAM_RDY))  in SysCtl_disableSRAMBank()
206     SYSCTL->SRAM_BANKEN = (sramBank | SYSCTL_SRAM_BANKEN_BNK0_EN);  in SysCtl_disableSRAMBank()
214     while (!(SYSCTL->SRAM_BANKRET & SYSCTL_SRAM_BANKRET_SRAM_RDY))  in SysCtl_enableSRAMBankRetention()
217     SYSCTL->SRAM_BANKRET |= sramBank;  in SysCtl_enableSRAMBankRetention()
225     while (!(SYSCTL->SRAM_BANKRET & SYSCTL_SRAM_BANKRET_SRAM_RDY))  in SysCtl_disableSRAMBankRetention()
228     SYSCTL->SRAM_BANKRET &= ~sramBank;  in SysCtl_disableSRAMBankRetention()
233     SYSCTL->REBOOT_CTL = (SYSCTL_REBOOT_CTL_REBOOT | SYSCTL_REBOOT_KEY);  in SysCtl_rebootDevice()
239     SYSCTL->PERIHALT_CTL &= ~devices;  in SysCtl_enablePeripheralAtCPUHalt()
245     SYSCTL->PERIHALT_CTL |= devices;  in SysCtl_disablePeripheralAtCPUHalt()
251         SYSCTL->WDTRESET_CTL |=  in SysCtl_setWDTTimeoutResetType()
254         SYSCTL->WDTRESET_CTL &= ~SYSCTL_WDTRESET_CTL_TIMEOUT;  in SysCtl_setWDTTimeoutResetType()
262         SYSCTL->WDTRESET_CTL |=  in SysCtl_setWDTPasswordViolationResetType()
265         SYSCTL->WDTRESET_CTL &= ~SYSCTL_WDTRESET_CTL_VIOLATION;  in SysCtl_setWDTPasswordViolationResetType()
270     SYSCTL->DIO_GLTFLT_CTL |= SYSCTL_DIO_GLTFLT_CTL_GLTCH_EN;  in SysCtl_enableGlitchFilter()
275     SYSCTL->DIO_GLTFLT_CTL &= ~SYSCTL_DIO_GLTFLT_CTL_GLTCH_EN;  in SysCtl_disableGlitchFilter()