VFIO_ASSERT_LT
VFIO_ASSERT_LT(*cap_offset, bufsz);
VFIO_ASSERT_LT(ranges[0].start, ranges[0].last);
VFIO_ASSERT_LT(ranges[i].start, ranges[i].last);
VFIO_ASSERT_LT(ranges[i - 1].last, ranges[i].start);
VFIO_ASSERT_LT(allocator->range_idx, allocator->nranges,
VFIO_ASSERT_LT(index, PCI_STD_NUM_BARS);
VFIO_ASSERT_LT(index, PCI_STD_NUM_BARS);
VFIO_ASSERT_LT(device->msi_eventfds[i], 0);