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_ */