|  |  | 
#include <stdint.h>#include <stdbool.h>#include <ti/devices/msp432p4xx/driverlib/sysctl_a.h>#include <ti/devices/msp432p4xx/driverlib/debug.h>| Functions | |
| void | SysCtl_A_getTLVInfo (uint_fast8_t tag, uint_fast8_t instance, uint_fast8_t *length, uint32_t **data_address) | 
| uint_least32_t | SysCtl_A_getSRAMSize (void) | 
| uint_least32_t | SysCtl_A_getFlashSize (void) | 
| uint_least32_t | SysCtl_A_getInfoFlashSize (void) | 
| void | SysCtl_A_disableNMISource (uint_fast8_t flags) | 
| void | SysCtl_A_enableNMISource (uint_fast8_t flags) | 
| uint_fast8_t | SysCtl_A_getNMISourceStatus (void) | 
| void | SysCtl_A_rebootDevice (void) | 
| void | SysCtl_A_enablePeripheralAtCPUHalt (uint_fast16_t devices) | 
| void | SysCtl_A_disablePeripheralAtCPUHalt (uint_fast16_t devices) | 
| void | SysCtl_A_setWDTTimeoutResetType (uint_fast8_t resetType) | 
| void | SysCtl_A_setWDTPasswordViolationResetType (uint_fast8_t resetType) | 
| void | SysCtl_A_enableGlitchFilter (void) | 
| void | SysCtl_A_disableGlitchFilter (void) | 
| uint_fast16_t | SysCtl_A_getTempCalibrationConstant (uint32_t refVoltage, uint32_t temperature) | 
| bool | SysCtl_A_enableSRAM (uint32_t addr) | 
| bool | SysCtl_A_disableSRAM (uint32_t addr) | 
| bool | SysCtl_A_enableSRAMRetention (uint32_t startAddr, uint32_t endAddr) | 
| bool | SysCtl_A_disableSRAMRetention (uint32_t startAddr, uint32_t endAddr) |