1 // Copyright 2020 The Pigweed Authors 2 // 3 // Licensed under the Apache License, Version 2.0 (the "License"); you may not 4 // use this file except in compliance with the License. You may obtain a copy of 5 // the License at 6 // 7 // https://www.apache.org/licenses/LICENSE-2.0 8 // 9 // Unless required by applicable law or agreed to in writing, software 10 // distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 11 // WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the 12 // License for the specific language governing permissions and limitations under 13 // the License. 14 #pragma once 15 16 #include <limits> 17 18 #include "FreeRTOS.h" 19 #include "semphr.h" 20 21 namespace pw::sync::backend { 22 23 using NativeCountingSemaphore = StaticSemaphore_t; 24 using NativeCountingSemaphoreHandle = NativeCountingSemaphore&; 25 26 inline constexpr ptrdiff_t kCountingSemaphoreMaxValue = 27 std::numeric_limits<ptrdiff_t>::max() < 28 std::numeric_limits<UBaseType_t>::max() 29 ? std::numeric_limits<ptrdiff_t>::max() 30 : std::numeric_limits<UBaseType_t>::max(); 31 32 } // namespace pw::sync::backend 33