Line data    Source code

       1            0 : /*
       2              :  * Copyright (c) 2018 Intel Corporation
       3              :  *
       4              :  * SPDX-License-Identifier: Apache-2.0
       5              :  */
       6              : 
       7              : #ifndef ZEPHYR_INCLUDE_DEBUG_GCOV_H_
       8              : #define ZEPHYR_INCLUDE_DEBUG_GCOV_H_
       9              : 
      10              : #ifdef CONFIG_COVERAGE_GCOV
      11              : void gcov_coverage_dump(void);
      12              : void gcov_coverage_semihost(void);
      13              : void gcov_static_init(void);
      14              : #else
      15            0 : static inline void gcov_coverage_dump(void) { }
      16            0 : static inline void gcov_static_init(void) { }
      17              : 
      18              : #endif  /* CONFIG_COVERAGE_GCOV */
      19              : 
      20              : #endif  /* ZEPHYR_INCLUDE_DEBUG_GCOV_H_ */