On 24.09.2025 09:59, Mykyta Poturai wrote:
> --- a/xen/arch/x86/include/asm/pci.h
> +++ b/xen/arch/x86/include/asm/pci.h
> @@ -76,4 +76,10 @@ int pci_sanitize_bar_memory(struct rangeset *r);
>
> void pci_setup(void);
>
> +/* Unlike ARM, HW domain does not ever use vpci for x86 */
What did you derive this from? PVH Dom0 very well uses vPCI. In fact that's
what it was first introduced for, iirc.
Jan
> +static inline bool hwdom_uses_vpci(void)
> +{
> + return false;
> +}
> +
> #endif /* __X86_PCI_H__ */
