VFIO_FAIL
VFIO_FAIL("Software Error Detected!\n");
VFIO_FAIL("Unrecognized IOMMU mode: %s\n", iommu_mode);
VFIO_FAIL("Unrecognized size: 0x%lx\n", mapping_size);