tree e7aab0051b9ca05edcc64428b232863bbcbd1eac
parent baacfe38977e8a3c869de216d972dd240e3906c8
author Ewout van Bekkum <ewout@google.com> 1615327012 -0800
committer CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com> 1615406717 +0000

freertos: fix for_at_least contract to add one tick

Fixes the FreeRTOS backends for pw::sync::Mutex,
pw::sync::BinarySemaphore, pw::sync::CountingSemaphore, and
pw::this_thread::sleep_for to add one tick when invoking the native
API to comply with the for_at_least account as we do not know how
far we are into the current tick.

Note that this is not observable without the use of an independent
clock.

Change-Id: Ibae4fa8b0118470d55d42eebab7bfafc2985aba7
Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/36601
Reviewed-by: Wyatt Hepler <hepler@google.com>
Commit-Queue: Ewout van Bekkum <ewout@google.com>