]>
git.gir.st - tmk_keyboard.git/blob - tmk_core/tool/mbed/mbed-sdk/libraries/mbed/targets/cmsis/TARGET_Freescale/TARGET_K20XX/TARGET_TEENSY3_1/system_MK20DX256.h
2 ** ###################################################################
3 ** Compilers: ARM Compiler
4 ** Freescale C/C++ for Embedded ARM
6 ** IAR ANSI C/C++ Compiler for ARM
10 ** Version: rev. 2.0, 2012-03-19
13 ** Provides a system configuration function and a global variable that
14 ** contains the system frequency. It configures the device and initializes
15 ** the oscillator (PLL) that is part of the microcontroller device.
17 ** Copyright: 2015 Freescale Semiconductor, Inc. All Rights Reserved.
19 ** http: www.freescale.com
20 ** mail: support@freescale.com
23 ** - rev. 1.0 (2011-12-15)
25 ** - rev. 2.0 (2012-03-19)
26 ** PDB Peripheral register structure updated.
27 ** DMA Registers and bits for unsupported DMA channels removed.
29 ** ###################################################################
36 * @brief Device specific configuration file for MK20DX256 (header file)
38 * Provides a system configuration function and a global variable that contains
39 * the system frequency. It configures the device and initializes the oscillator
40 * (PLL) that is part of the microcontroller device.
43 #ifndef SYSTEM_MK20DX256_H_
44 #define SYSTEM_MK20DX256_H_ /**< Symbol preventing repeated inclusion */
53 * @brief System clock frequency (core clock)
55 * The system clock frequency supplied to the SysTick timer and the processor
56 * core clock. This variable can be used by the user application to setup the
57 * SysTick timer or configure other parameters. It may also be used by debugger to
58 * query the frequency of the debug timer or configure the trace clock speed
59 * SystemCoreClock is initialized with a correct predefined value.
61 extern uint32_t SystemCoreClock
;
64 * @brief Setup the microcontroller system.
66 * Typically this function configures the oscillator (PLL) that is part of the
67 * microcontroller device. For systems with variable clock speed it also updates
68 * the variable SystemCoreClock. SystemInit is called from startup_device file.
70 void SystemInit (void);
73 * @brief Updates the SystemCoreClock variable.
75 * It must be called whenever the core clock is changed during program
76 * execution. SystemCoreClockUpdate() evaluates the clock register settings and calculates
77 * the current core clock.
79 void SystemCoreClockUpdate (void);
85 #endif /* #if !defined(SYSTEM_MK20DX256_H_) */