tools/verification/rv/include/utils.h


1
2
3
4
5
6
7
8

// 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;