linux-zen-server/tools/verification/rv/include/utils.h

9 lines
161 B
C

// SPDX-License-Identifier: GPL-2.0
#define MAX_PATH 1024
void debug_msg(const char *fmt, ...);
void err_msg(const char *fmt, ...);
extern int config_debug;