| // Copyright Microsoft and CHERIoT Contributors. | |
| // SPDX-License-Identifier: MIT | |
| #pragma once | |
| #ifndef CPU_TIMER_HZ | |
| # error "Timer frequency CPU_TIMER_HZ must be defined." | |
| #endif | |
| #ifndef TICK_RATE_HZ | |
| # error "Scheduler tick rate TICK_RATE_HZ must be defined." | |
| #endif | |
| #define TIMERCYCLES_PER_TICK (CPU_TIMER_HZ / TICK_RATE_HZ) | |
| #define MS_PER_TICK (1000U / TICK_RATE_HZ) | |
| #define MS_TO_TICKS(x) ((x) / MS_PER_TICK) |