timer_time_us_64() is not always super fast, for instance. See the SDK source code. Some jitter there.
Statistics: Posted by katak255 — Sun Jan 11, 2026 2:41 pm