|
|
#include <stdint.h>#include "register_remap.h"#include <stdbool.h>#include <sysctl.h>#include <debug.h>Functions | |
| 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) |