tick_macros.h

// 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)