rtc_time.c

00001 /* mbed Microcontroller Library
00002  * Copyright (c) 2006-2013 ARM Limited
00003  *
00004  * Licensed under the Apache License, Version 2.0 (the "License");
00005  * you may not use this file except in compliance with the License.
00006  * You may obtain a copy of the License at
00007  *
00008  *     http://www.apache.org/licenses/LICENSE-2.0
00009  *
00010  * Unless required by applicable law or agreed to in writing, software
00011  * distributed under the License is distributed on an "AS IS" BASIS,
00012  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00013  * See the License for the specific language governing permissions and
00014  * limitations under the License.
00015  */
00016 #include "rtc_api.h"
00017 
00018 #include <time.h>
00019 #include "rtc_time.h"
00020 #include "us_ticker_api.h"
00021 
00022 #ifdef __cplusplus
00023 extern "C" {
00024 #endif
00025 #if defined (__ICCARM__)
00026 time_t __time32(time_t *timer)
00027 #else
00028 time_t time(time_t *timer)
00029 #endif
00030 
00031 {
00032 #if DEVICE_RTC
00033     if (!(rtc_isenabled())) {
00034         set_time(0);
00035     }
00036     time_t t = rtc_read();
00037 
00038 #else
00039     time_t t = 0;
00040 #endif
00041 
00042     if (timer != NULL) {
00043         *timer = t;
00044     }
00045     return t;
00046 }
00047 
00048 void set_time(time_t t) {
00049 #if DEVICE_RTC
00050     rtc_init();
00051     rtc_write(t);
00052 #endif
00053 }
00054 
00055 clock_t clock() {
00056     clock_t t = us_ticker_read();
00057     t /= 1000000 / CLOCKS_PER_SEC; // convert to processor time
00058     return t;
00059 }
00060 
00061 #ifdef __cplusplus
00062 }
00063 #endif