/*
 * 主机侧单测桩：FreeRTOS.h（vol_idle_sync 模块专用）
 * 模块功能：最小 FreeRTOS 时基类型与宏（真实头会拉整棵 portmacro/projdefs）。
 * ⚠ 仅供 test/host/vol_idle_sync/ 使用，不参与 MCU 构建。
 * 保真点：TickType_t = uint32_t；configTICK_RATE_HZ = 1000
 *         （Inc/FreeRTOSConfig.h）→ pdMS_TO_TICKS(ms) == ms。
 *         节流用例的 4999/5000 拍边界直接依赖该等式。
 * 创建日期：2026-10-25
 */

#ifndef FREERTOS_H
#define FREERTOS_H

#include <stdint.h>

#ifdef __cplusplus
extern "C" {
#endif

typedef uint32_t TickType_t;

#define configTICK_RATE_HZ  1000U
#define pdMS_TO_TICKS(ms)   ((TickType_t)((uint32_t)(ms) * (1000U / configTICK_RATE_HZ)))

#ifdef __cplusplus
}
#endif

#endif /* FREERTOS_H */