esp32-racer/software/zig_main/patches/porttick_period_ms.zig

pub const portTICK_PERIOD_MS: TickType_t = @as(TickType_t, @divExact(@as(c_int, 1000), configTICK_RATE_HZ));