mbed library sources

Dependents:   Encrypted my_mbed lklk CyaSSL_DTLS_Cellular ... more

Superseded

This library was superseded by mbed-dev - https://os.mbed.com/users/mbed_official/code/mbed-dev/.

Development branch of the mbed library sources. This library is kept in synch with the latest changes from the mbed SDK and it is not guaranteed to work.

If you are looking for a stable and tested release, please import one of the official mbed library releases:

Import librarymbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Revision:
324:406fd2029f23
Parent:
149:1fb5f62b92bd
--- a/targets/hal/TARGET_Freescale/TARGET_KPSDK_MCUS/TARGET_KPSDK_CODE/hal/pit/fsl_pit_hal.c	Mon Sep 15 15:30:06 2014 +0100
+++ b/targets/hal/TARGET_Freescale/TARGET_KPSDK_MCUS/TARGET_KPSDK_CODE/hal/pit/fsl_pit_hal.c	Thu Sep 18 14:00:17 2014 +0100
@@ -37,22 +37,22 @@
 #if FSL_FEATURE_PIT_HAS_LIFETIME_TIMER
 /*FUNCTION**********************************************************************
  *
- * Function Name : pit_hal_read_lifetime_timer_count
+ * Function Name : PIT_HAL_ReadLifetimeTimerCount
  * Description   : Read current lifefime counter value.
  * Lifetime timer is 64-bit timer which chains timer 0 and timer 1 together. 
- * So, timer 0 and 1 should by chained by calling pit_hal_configure_timer_chain
+ * So, timer 0 and 1 should by chained by calling PIT_HAL_SetTimerChainCmd
  * before using this timer. The period of lifetime timer equals to "period of
  * timer 0 * period of timer 1". For the 64-bit value, higher 32-bit will have
  * the value of timer 1, and lower 32-bit have the value of timer 0.
 *
  *END**************************************************************************/
-uint64_t pit_hal_read_lifetime_timer_count(void)
+uint64_t PIT_HAL_ReadLifetimeTimerCount(uint32_t baseAddr)
 {
     uint32_t valueH = 0U, valueL = 0U;
     
     /* LTMR64H should be read before LTMR64L */
-    valueH = HW_PIT_LTMR64H_RD();
-    valueL = HW_PIT_LTMR64L_RD();
+    valueH = HW_PIT_LTMR64H_RD(baseAddr);
+    valueL = HW_PIT_LTMR64L_RD(baseAddr);
     return (((uint64_t)valueH << 32U) + (uint64_t)(valueL));
 }
 #endif /* FSL_FEATURE_PIT_HAS_LIFETIME_TIMER*/