sys/lib/libkern/libkern.h:241:23: error: format '%p' expects argument of type 'void *', but argument 19 has type 'int' [-Werror=format=]
ERROR: Failed to make all in "sys/arch/amd64/compile/obj/GENERIC_SYZKALLER"