VFIO_ASSERT_TRUE
VFIO_ASSERT_TRUE(is_bdf(bdf), "Invalid BDF: %s\n", bdf);
VFIO_ASSERT_TRUE(bar->info.flags & VFIO_REGION_INFO_FLAG_MMAP);
VFIO_ASSERT_TRUE(is_power_of_2(bar->info.size));
VFIO_ASSERT_TRUE(group_status.flags & VFIO_GROUP_FLAGS_VIABLE);
VFIO_ASSERT_TRUE(!(device->config_space.flags & VFIO_REGION_INFO_FLAG_MMAP),
VFIO_ASSERT_TRUE(index == VFIO_PCI_MSI_IRQ_INDEX ||