VFIO_ASSERT_GE
VFIO_ASSERT_GE(device->driver.region.size, sizeof(*dsa));
VFIO_ASSERT_GE(device->driver.region.size, sizeof(*ioat));
VFIO_ASSERT_GE(bufsz - *cap_offset, sizeof(*hdr));
VFIO_ASSERT_GE(cap_offset, sizeof(*info));
VFIO_ASSERT_GE(info->argsz, sizeof(*info));
VFIO_ASSERT_GE(info->argsz, sizeof(*info));
VFIO_ASSERT_GE(iommu->container_fd, 0, "open(%s) failed\n", container_path);
VFIO_ASSERT_GE(device->group_fd, 0, "open(%s) failed\n", group_path);
VFIO_ASSERT_GE(device->fd, 0);
VFIO_ASSERT_GE(device->fd, 0);
VFIO_ASSERT_GE(device->msi_eventfds[i], 0);