Symbol: VFIO_PCI_HOT_RESET_FLAG_DEV_ID_OWNED
drivers/vfio/pci/vfio_pci_core.c
1395
VFIO_PCI_HOT_RESET_FLAG_DEV_ID_OWNED;
drivers/vfio/pci/vfio_pci_core.c
941
fill->flags &= ~VFIO_PCI_HOT_RESET_FLAG_DEV_ID_OWNED;