On Thu, Jul 20, 2023 at 12:32:33AM +0000, Volodymyr Babchuk wrote: > From: Oleksandr Andrushchenko <[email protected]> > diff --git a/xen/include/xen/sched.h b/xen/include/xen/sched.h > index 80dd150bbf..478bd21f3e 100644 > --- a/xen/include/xen/sched.h > +++ b/xen/include/xen/sched.h > @@ -461,6 +461,14 @@ struct domain > #ifdef CONFIG_HAS_PCI > struct list_head pdev_list; > rwlock_t pci_lock; > +#ifdef CONFIG_HAS_VPCI_GUEST_SUPPORT > + /* > + * The bitmap which shows which device numbers are already used by the > + * virtual PCI bus topology and is used to assign a unique SBDF to the > + * next passed through virtual PCI device. > + */ > + DECLARE_BITMAP(vpci_dev_assigned_map, VPCI_MAX_VIRT_DEV); > +#endif
I think it would be helpful to state that vpci_dev_assigned_map is protected by pci_lock (as I understand it's the intention). Thanks, Roger.
