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 #if defined (__ICCARM__)
00023 time_t __time32(time_t *timer)
00024 #else
00025 time_t time(time_t *timer)
00026 #endif
00027 {
00028 #if DEVICE_RTC
00029     if (!(rtc_isenabled())) {
00030         set_time(0);
00031     }
00032     time_t t = rtc_read();
00033 
00034 #else
00035     time_t t = 0;
00036 #endif
00037 
00038     if (timer != NULL) {
00039         *timer = t;
00040     }
00041     return t;
00042 }
00043 
00044 void set_time(time_t t) {
00045 #if DEVICE_RTC
00046     rtc_init();
00047     rtc_write(t);
00048 #endif
00049 }
00050 
00051 clock_t clock() {
00052     clock_t t = us_ticker_read();
00053     t /= 1000000 / CLOCKS_PER_SEC; // convert to processor time
00054     return t;
00055 }