VFIO_ASSERT_NOT_NULL
VFIO_ASSERT_NOT_NULL(device->bars[0].vaddr);
VFIO_ASSERT_NOT_NULL(info);
VFIO_ASSERT_NOT_NULL(info);
VFIO_ASSERT_NOT_NULL(hdr);
VFIO_ASSERT_NOT_NULL(ranges);
VFIO_ASSERT_NOT_NULL(ranges);
VFIO_ASSERT_NOT_NULL(iommu);
VFIO_ASSERT_NOT_NULL(ranges);
VFIO_ASSERT_NOT_NULL(allocator);
VFIO_ASSERT_NOT_NULL(bar->vaddr);
VFIO_ASSERT_NOT_NULL(cdev_path);
VFIO_ASSERT_NOT_NULL(dir, "Failed to open directory %s\n", dir_path);
VFIO_ASSERT_NOT_NULL(device);
VFIO_ASSERT_NOT_NULL(iommu);
VFIO_ASSERT_NOT_NULL(driver->ops);
VFIO_ASSERT_NOT_NULL(op, "Driver has no %s()\n", op_name);
VFIO_ASSERT_NOT_NULL(driver->region.vaddr);
VFIO_ASSERT_NOT_NULL(ranges);
VFIO_ASSERT_NOT_NULL(file, "fopen(%s) failed", iommu_mapping_path);