86 WDOG->TOVAL = (uint32_t )0xFFFF;
101 uint32_t SCGOUTClock = 0U;
104 bool validSystemClockSource =
true;
123 validSystemClockSource =
false;
129 if (regValue == 0x0UL)
135 validSystemClockSource =
false;
139 validSystemClockSource =
false;
143 if (validSystemClockSource ==
true)
#define SCG_FIRCCFG_RANGE_SHIFT
#define WDOG_CS_CMD32EN_SHIFT
#define FEATURE_SCG_SIRC_HIGH_RANGE_FREQ
#define WDOG_CS_CLK_SHIFT
void SystemSoftwareReset(void)
Initiates a system reset.
#define DEFAULT_SYSTEM_CLOCK
#define FEATURE_SCG_FIRC_FREQ0
#define S32_SCB_AIRCR_SYSRESETREQ(x)
#define SCG_FIRCCFG_RANGE_MASK
#define FEATURE_WDOG_UNLOCK_VALUE
#define SCG_CSR_DIVCORE_SHIFT
#define FEATURE_WDOG_CLK_FROM_LPO
void SystemCoreClockUpdate(void)
Updates the SystemCoreClock variable.
#define SCG_CSR_DIVCORE_MASK
#define S32_SCB_AIRCR_VECTKEY(x)
#define SCG_CSR_SCS_SHIFT
Device specific configuration file for S32K118.
uint32_t SystemCoreClock
System clock frequency (core clock)
void SystemInit(void)
Setup the SoC.
#define S32_SCB_AIRCR_VECTKEY_MASK
#define SCG_SIRCCFG_RANGE_SHIFT
#define SCG_SIRCCFG_RANGE_MASK
#define WDOG_CS_UPDATE_SHIFT
#define FEATURE_SCB_VECTKEY