x86/kaslr: Expose and use the end of the physical memory address space

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