Linux 6.14-rc3

[linux.git] / tools / verification / rv / include / utils.h

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