diff --git a/common/include/villas/kernel/vfio.hpp b/common/include/villas/kernel/vfio.hpp
index b8bbd5ee8..0079ee8f3 100644
--- a/common/include/villas/kernel/vfio.hpp
+++ b/common/include/villas/kernel/vfio.hpp
@@ -21,6 +21,10 @@
 #define VFIO_PATH	"/dev/vfio/"
 #define VFIO_DEV	VFIO_PATH "vfio"
 
+#ifndef VFIO_NOIOMMU_IOMMU
+  #define VFIO_NOIOMMU_IOMMU 8
+#endif
+
 /* Forward declarations */
 struct pci_device;