Index: /trunk/src/VBox/HostDrivers/Support/linux/files_vboxdrv
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/linux/files_vboxdrv	(revision 23709)
+++ /trunk/src/VBox/HostDrivers/Support/linux/files_vboxdrv	(revision 23710)
@@ -63,4 +63,7 @@
     ${PATH_ROOT}/include/VBox/sup.h=>include/VBox/sup.h \
     ${PATH_ROOT}/include/VBox/types.h=>include/VBox/types.h \
+    ${PATH_ROOT}/include/VBox/hwacc_vmx.h=>include/VBox/hwacc_vmx.h \
+    ${PATH_ROOT}/include/VBox/hwacc_svm.h=>include/VBox/hwacc_svm.h \
+    ${PATH_ROOT}/include/VBox/x86.h=>include/VBox/x86.h \
     ${PATH_ROOT}/src/VBox/HostDrivers/Support/linux/SUPDrv-linux.c=>linux/SUPDrv-linux.c \
     ${PATH_ROOT}/src/VBox/HostDrivers/Support/SUPDrv.c=>SUPDrv.c \