| // Copyright 2020 The Pigweed 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 |
| // |
| // https://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. |
| #pragma once |
| |
| #include "pw_chrono_threadx/config.h" |
| |
| // ThreadX does not have an API to determine the tick rate/period, instead |
| // require the user to specify this through the configuration. |
| #define PW_CHRONO_SYSTEM_CLOCK_PERIOD_SECONDS_NUMERATOR \ |
| PW_CHRONO_THREADX_CFG_CLOCK_PERIOD_SECONDS_NUMERATOR |
| #define PW_CHRONO_SYSTEM_CLOCK_PERIOD_SECONDS_DENOMINATOR \ |
| PW_CHRONO_THREADX_CFG_CLOCK_PERIOD_SECONDS_DENOMINATOR |
| |
| #ifdef __cplusplus |
| |
| #include "pw_chrono/epoch.h" |
| |
| namespace pw::chrono::backend { |
| |
| // The ThreadX clock starts at zero during initialization, approximately the |
| // time since boot. |
| constexpr inline Epoch kSystemClockEpoch = pw::chrono::Epoch::kTimeSinceBoot; |
| |
| // The current backend implementation is not NMI safe. |
| constexpr inline bool kSystemClockNmiSafe = false; |
| |
| // The ThreadX clock halts when the systick interrupt is masked. |
| constexpr inline bool kSystemClockFreeRunning = false; |
| |
| } // namespace pw::chrono::backend |
| |
| #endif // __cplusplus |
