text: /* SPDX-License-Identifier: Apache-2.0 */
  /*
   * Copyright (C) 2015-2020 Micron Technology, Inc.  All rights reserved.
   */
  
  #ifndef HSE_PLATFORM_VALGRIND_H
  #define HSE_PLATFORM_VALGRIND_H
  
  #ifndef NVALGRIND
  #include <valgrind/valgrind.h>
  #endif
  
  #endif
  