2019-06-26 16:38:42 +02:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2018 Intel Corporation
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef ZEPHYR_INCLUDE_DEBUG_GCOV_H_
|
|
|
|
#define ZEPHYR_INCLUDE_DEBUG_GCOV_H_
|
|
|
|
|
|
|
|
#ifdef CONFIG_COVERAGE_GCOV
|
|
|
|
void gcov_coverage_dump(void);
|
|
|
|
void gcov_static_init(void);
|
|
|
|
#else
|
2019-07-03 01:33:40 +02:00
|
|
|
static inline void gcov_coverage_dump(void) { }
|
|
|
|
static inline void gcov_static_init(void) { }
|
2019-06-26 16:38:42 +02:00
|
|
|
|
2023-08-09 17:29:19 +02:00
|
|
|
#endif /* CONFIG_COVERAGE_GCOV */
|
2019-06-26 16:38:42 +02:00
|
|
|
|
|
|
|
#endif /* ZEPHYR_INCLUDE_DEBUG_GCOV_H_ */
|