tool/mbed/mbed-sdk/libraries/mbed/targets/cmsis/TARGET_Freescale/TARGET_K20XX/TARGET_TEENSY3_1/system_MK20DX256.h

   1 /*
   2 ** ###################################################################
   3 **     Compilers:           ARM Compiler
   4 **                          Freescale C/C++ for Embedded ARM
   5 **                          GNU C Compiler
   6 **                          IAR ANSI C/C++ Compiler for ARM
   7 **
   8 **
   9 **
  10 **     Version:             rev. 2.0, 2012-03-19
  11 **
  12 **     Abstract:
  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.
  16 **
  17 **     Copyright: 2015 Freescale Semiconductor, Inc. All Rights Reserved.
  18 **
  19 **     http:                 www.freescale.com
  20 **     mail:                 support@freescale.com
  21 **
  22 **     Revisions:
  23 **     - rev. 1.0 (2011-12-15)
  24 **         Initial version
  25 **     - rev. 2.0 (2012-03-19)
  26 **         PDB Peripheral register structure updated.
  27 **         DMA Registers and bits for unsupported DMA channels removed.
  28 **
  29 ** ###################################################################
  30 */
  31
  32 /**
  33  * @file MK20DX256
  34  * @version 2.0
  35  * @date 2012-03-19
  36  * @brief Device specific configuration file for MK20DX256 (header file)
  37  *
  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.
  41  */
  42
  43 #ifndef SYSTEM_MK20DX256_H_
  44 #define SYSTEM_MK20DX256_H_                         /**< Symbol preventing repeated inclusion */
  45
  46 #ifdef __cplusplus
  47 extern "C" {
  48 #endif
  49
  50 #include <stdint.h>
  51
  52 /**
  53  * @brief System clock frequency (core clock)
  54  *
  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.
  60  */
  61 extern uint32_t SystemCoreClock;
  62
  63 /**
  64  * @brief Setup the microcontroller system.
  65  *
  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.
  69  */
  70 void SystemInit (void);
  71
  72 /**
  73  * @brief Updates the SystemCoreClock variable.
  74  *
  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.
  78  */
  79 void SystemCoreClockUpdate (void);
  80
  81 #ifdef __cplusplus
  82 }
  83 #endif
  84
  85 #endif  /* #if !defined(SYSTEM_MK20DX256_H_) */