--- src/VBox/HostDrivers/VBoxNetFlt/freebsd/Makefile.orig	2024-01-11 12:25:08 UTC
+++ src/VBox/HostDrivers/VBoxNetFlt/freebsd/Makefile
@@ -26,7 +26,7 @@ KMOD = vboxnetflt
 
 KMOD = vboxnetflt
 
-CFLAGS += -DRT_OS_FREEBSD -DIN_RING0 -DIN_RT_R0 -DIN_SUP_R0 -DVBOX -DRT_WITH_VBOX -Iinclude -I. -Ir0drv -w -DVBOX_WITH_HARDENING -DVIMAGE
+CFLAGS += -DRT_OS_FREEBSD -DIN_RING0 -DIN_RT_R0 -DIN_SUP_R0 -DVBOX -DRT_WITH_VBOX -DVBOX_WITH_HARDENING -DVBOX_WITH_64_BITS_GUESTS -DVIMAGE -Iinclude -I. -Ir0drv -w
 
 .if (${MACHINE_ARCH} == "i386")
  CFLAGS += -DRT_ARCH_X86
@@ -41,7 +41,7 @@ SRCS = \
 	SUPR0IdcClient.c \
 	SUPR0IdcClientComponent.c
 
-SRCS += device_if.h bus_if.h opt_netgraph.h
+SRCS += device_if.h bus_if.h opt_netgraph.h vnode_if.h
 
 .include <bsd.kmod.mk>