text: /*
   * Copyright (c) , Arm Limited and affiliates.
   * SPDX-License-Identifier: Apache-2.0
   *
   * Licensed under the Apache License, Version 2.0 (the "License");
   * you may not use this file except in compliance with the License.
   * You may obtain a copy of the License at
   *
   *     http://www.apache.org/licenses/LICENSE-2.0
   *
   * Unless required by applicable law or agreed to in writing, software
   * distributed under the License is distributed on an "AS IS" BASIS,
   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   * See the License for the specific language governing permissions and
   * limitations under the License.
   */
  #ifndef __MUTEX_H__
  #define __MUTEX_H__
  
  #include <inttypes.h>
  #include "cmsis_os2.h"
  
  namespace rtos {
  
  class Mutex {
  public:
      Mutex();
  
      Mutex(const char *name);
  
      osStatus lock(uint32_t millisec=osWaitForever);
  
      bool trylock();
  
      bool trylock_for(uint32_t millisec);
  
      bool trylock_until(uint64_t millisec);
  
      osStatus unlock();
  
      osThreadId_t get_owner();
  
      ~Mutex();
  };
  
  }
  
  #endif
  