/usr/src/virtualbox-5.2.2/vboxpci/linux/VBoxPci-linux.c#include <iprt/string.h>#include <iprt/mem.h>-#include "VBoxPciInternal.h"+#include "../VBoxPciInternal.h"#ifdef VBOX_WITH_IOMMU# include <linux/dmar.h>
Fix vor virtualbox 5.2.2:Code: [Select]/usr/src/virtualbox-5.2.2/vboxpci/linux/VBoxPci-linux.c#include <iprt/string.h>#include <iprt/mem.h>-#include "VBoxPciInternal.h"+#include "../VBoxPciInternal.h"#ifdef VBOX_WITH_IOMMU# include <linux/dmar.h>then dpkg-reconfigure virtualbox-dkmshttps://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882647#10I tested, it's work with 4.14.1-towo.2-siduction-amd64