--- src/VBox/HostDrivers/VBoxNetFlt/freebsd/Makefile.orig	2026-04-17 11:20:36 UTC
+++ src/VBox/HostDrivers/VBoxNetFlt/freebsd/Makefile
@@ -36,7 +36,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
@@ -51,7 +51,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>
 
