|  |  | 
#include <stdint.h>#include <stdbool.h>#include <ti/devices/msp432p4xx/driverlib/sysctl.h>#include <ti/devices/msp432p4xx/driverlib/debug.h>| Functions | |
| void | SysCtl_getTLVInfo (uint_fast8_t tag, uint_fast8_t instance, uint_fast8_t *length, uint32_t **data_address) | 
| uint_least32_t | SysCtl_getSRAMSize (void) | 
| uint_least32_t | SysCtl_getFlashSize (void) | 
| void | SysCtl_disableNMISource (uint_fast8_t flags) | 
| void | SysCtl_enableNMISource (uint_fast8_t flags) | 
| uint_fast8_t | SysCtl_getNMISourceStatus (void) | 
| void | SysCtl_enableSRAMBank (uint_fast8_t sramBank) | 
| void | SysCtl_disableSRAMBank (uint_fast8_t sramBank) | 
| void | SysCtl_enableSRAMBankRetention (uint_fast8_t sramBank) | 
| void | SysCtl_disableSRAMBankRetention (uint_fast8_t sramBank) | 
| void | SysCtl_rebootDevice (void) | 
| void | SysCtl_enablePeripheralAtCPUHalt (uint_fast16_t devices) | 
| void | SysCtl_disablePeripheralAtCPUHalt (uint_fast16_t devices) | 
| void | SysCtl_setWDTTimeoutResetType (uint_fast8_t resetType) | 
| void | SysCtl_setWDTPasswordViolationResetType (uint_fast8_t resetType) | 
| void | SysCtl_enableGlitchFilter (void) | 
| void | SysCtl_disableGlitchFilter (void) | 
| uint_fast16_t | SysCtl_getTempCalibrationConstant (uint32_t refVoltage, uint32_t temperature) |