sys/arch/x86/x86/bios32.c:255:33: error: passing argument 1 of 'vtophys' makes integer from pointer without a cast [-Werror=int-conversion]
sys/arch/x86/x86/bios32.c:290:33: error: passing argument 1 of 'vtophys' makes integer from pointer without a cast [-Werror=int-conversion]
ERROR: Failed to make all in "sys/arch/amd64/compile/obj/GENERIC_SYZKALLER"