mbed SDK library sources

Fork of mbed-src by mbed official

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.

Committer:
emilmont
Date:
Mon Feb 18 11:44:18 2013 +0000
Revision:
2:143cac498751
Parent:
0:fd0d7bdfcdc2
Update mbed sources to Rev 59

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 0:fd0d7bdfcdc2 1 /* mbed Microcontroller Library
emilmont 2:143cac498751 2 * Copyright (c) 2006-2013 ARM Limited
mbed_official 0:fd0d7bdfcdc2 3 *
emilmont 2:143cac498751 4 * Licensed under the Apache License, Version 2.0 (the "License");
emilmont 2:143cac498751 5 * you may not use this file except in compliance with the License.
emilmont 2:143cac498751 6 * You may obtain a copy of the License at
mbed_official 0:fd0d7bdfcdc2 7 *
emilmont 2:143cac498751 8 * http://www.apache.org/licenses/LICENSE-2.0
mbed_official 0:fd0d7bdfcdc2 9 *
emilmont 2:143cac498751 10 * Unless required by applicable law or agreed to in writing, software
emilmont 2:143cac498751 11 * distributed under the License is distributed on an "AS IS" BASIS,
emilmont 2:143cac498751 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
emilmont 2:143cac498751 13 * See the License for the specific language governing permissions and
emilmont 2:143cac498751 14 * limitations under the License.
mbed_official 0:fd0d7bdfcdc2 15 */
mbed_official 0:fd0d7bdfcdc2 16 #include "rtc_api.h"
mbed_official 0:fd0d7bdfcdc2 17
mbed_official 0:fd0d7bdfcdc2 18 #include <time.h>
mbed_official 0:fd0d7bdfcdc2 19 #include "rtc_time.h"
mbed_official 0:fd0d7bdfcdc2 20 #include "us_ticker_api.h"
mbed_official 0:fd0d7bdfcdc2 21
emilmont 2:143cac498751 22 #if defined (__ICCARM__)
emilmont 2:143cac498751 23 time_t __time32(time_t *timer)
emilmont 2:143cac498751 24 #else
emilmont 2:143cac498751 25 time_t time(time_t *timer)
emilmont 2:143cac498751 26 #endif
emilmont 2:143cac498751 27 {
mbed_official 0:fd0d7bdfcdc2 28 #if DEVICE_RTC
mbed_official 0:fd0d7bdfcdc2 29 if (!(rtc_isenabled())) {
mbed_official 0:fd0d7bdfcdc2 30 set_time(0);
mbed_official 0:fd0d7bdfcdc2 31 }
mbed_official 0:fd0d7bdfcdc2 32 time_t t = rtc_read();
emilmont 2:143cac498751 33
mbed_official 0:fd0d7bdfcdc2 34 #else
mbed_official 0:fd0d7bdfcdc2 35 time_t t = 0;
mbed_official 0:fd0d7bdfcdc2 36 #endif
emilmont 2:143cac498751 37
mbed_official 0:fd0d7bdfcdc2 38 if (timer != NULL) {
mbed_official 0:fd0d7bdfcdc2 39 *timer = t;
mbed_official 0:fd0d7bdfcdc2 40 }
mbed_official 0:fd0d7bdfcdc2 41 return t;
mbed_official 0:fd0d7bdfcdc2 42 }
mbed_official 0:fd0d7bdfcdc2 43
mbed_official 0:fd0d7bdfcdc2 44 void set_time(time_t t) {
mbed_official 0:fd0d7bdfcdc2 45 #if DEVICE_RTC
mbed_official 0:fd0d7bdfcdc2 46 rtc_init();
mbed_official 0:fd0d7bdfcdc2 47 rtc_write(t);
mbed_official 0:fd0d7bdfcdc2 48 #endif
mbed_official 0:fd0d7bdfcdc2 49 }
mbed_official 0:fd0d7bdfcdc2 50
mbed_official 0:fd0d7bdfcdc2 51 clock_t clock() {
mbed_official 0:fd0d7bdfcdc2 52 clock_t t = us_ticker_read();
mbed_official 0:fd0d7bdfcdc2 53 t /= 1000000 / CLOCKS_PER_SEC; // convert to processor time
mbed_official 0:fd0d7bdfcdc2 54 return t;
mbed_official 0:fd0d7bdfcdc2 55 }