text: /*
   * 
   *    Copyright (c) 2020, United States government as represented by the
   *    administrator of the National Aeronautics Space Administration.
   *    All rights reserved. This software was created at NASA Goddard
   *    Space Flight Center pursuant to government contracts.
   * 
   *    This is governed by the NASA Open Source Agreement and may be used,
   *    distributed and modified only according to the terms of that agreement.
   * 
   */
  
  
  /**
   * \file     osapi-shared-binsem-table-stubs.c
   * \ingroup  ut-stubs
   * \author   joseph.p.hickey@nasa.gov
   *
   */
  #include <string.h>
  #include <stdlib.h>
  #include "utstubs.h"
  
  #include "os-shared-binsem.h"
  
  OS_bin_sem_internal_record_t        OS_bin_sem_table[OS_MAX_BIN_SEMAPHORES];
  