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_static_init(void);
      13             : #else
      14           0 : static inline void gcov_coverage_dump(void) { }
      15           0 : static inline void gcov_static_init(void) { }
      16             : 
      17             : #endif  /* CONFIG_COVERAGE_GCOV */
      18             : 
      19             : #endif  /* ZEPHYR_INCLUDE_DEBUG_GCOV_H_ */