2019-06-26 22:38:42 +08: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 07:33:40 +08:00
|
|
|
static inline void gcov_coverage_dump(void) { }
|
|
|
|
|
static inline void gcov_static_init(void) { }
|
2019-06-26 22:38:42 +08:00
|
|
|
|
|
|
|
|
#endif /* CONFIG_COVERAGE */
|
|
|
|
|
|
|
|
|
|
#endif /* ZEPHYR_INCLUDE_DEBUG_GCOV_H_ */
|
