#endif
#ifdef VBOX_WITH_IOMMU
#if LINUX_VERSION_CODE >= KERNEL_VERSION(3, 6, 11)
#include <linux/err.h>
#include <linux/errno.h>
#include <linux/iommu.h>