| /* |
| * |
| * Copyright (c) 2022 Project CHIP Authors |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| /** |
| * @file |
| * Open IOT SDK platform adaptation file |
| */ |
| |
| #include "OpenIoTSDKArchUtils.h" |
| #include <time.h> |
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
| |
| static uint32_t tick_h = 0U; |
| static uint32_t tick_l = 0U; |
| |
| // GetTick() needs to be called at least twice per tick overflow to work properly. |
| uint64_t GetTick(void) |
| { |
| uint32_t tick = osKernelGetTickCount(); |
| |
| if (tick < tick_l) |
| { |
| tick_h++; |
| } |
| tick_l = tick; |
| |
| return (((uint64_t) tick_h << 32) | tick_l); |
| } |
| |
| /* Time to kernel ticks */ |
| uint32_t sec2tick(uint32_t sec) |
| { |
| return (sec * osKernelGetTickFreq()); |
| } |
| |
| uint32_t ms2tick(uint32_t ms) |
| { |
| return (uint32_t)(((uint64_t) ms * (uint64_t) osKernelGetTickFreq()) / 1000U); |
| } |
| |
| uint32_t us2tick(uint32_t usec) |
| { |
| // round division up because our tick is so long this might become 0 |
| // we need the timer to sleep at least one tick as it otherwise breaks expectations |
| return (uint32_t)(((uint64_t) usec * osKernelGetTickFreq() + (1000000 - 1)) / 1000000); |
| } |
| |
| /* Kernel ticks to time */ |
| uint64_t tick2sec(uint64_t tick) |
| { |
| if (osKernelGetTickFreq() == 0U) |
| { |
| return 0; |
| } |
| |
| return (tick / osKernelGetTickFreq()); |
| } |
| |
| uint64_t tick2ms(uint64_t tick) |
| { |
| if (osKernelGetTickFreq() == 0U) |
| { |
| return 0; |
| } |
| |
| return ((tick * 1000U) / osKernelGetTickFreq()); |
| } |
| |
| uint64_t tick2us(uint64_t tick) |
| { |
| if (osKernelGetTickFreq() == 0U) |
| { |
| return 0; |
| } |
| |
| return ((tick * 1000U * 1000U) / osKernelGetTickFreq()); |
| } |
| |
| void sleep(uint32_t sec) |
| { |
| if (sec) |
| { |
| osDelay(sec2tick(sec)); |
| } |
| } |
| |
| void usleep(uint32_t usec) |
| { |
| if (usec) |
| { |
| osDelay(us2tick(usec)); |
| } |
| } |
| |
| time_t time(time_t * __timer) |
| { |
| time_t seconds = (time_t)(tick2sec(GetTick())); |
| if (__timer) |
| { |
| *__timer = seconds; |
| } |
| return seconds; |
| } |
| |
| #ifdef __cplusplus |
| } |
| #endif |