ARK-OS/arkos/kernel/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;