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:
bogdanm
Date:
Mon Aug 05 14:12:34 2013 +0300
Revision:
13:0645d8841f51
Parent:
10:3bc89ef62ce7
Child:
85:e1a8e879a6a9
Update mbed sources to revision 64

Who changed what in which revision?

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