On 04/06/20 15:30, Anthony PERARD wrote:
> - fix build when Xen headers aren't available.
> By building stubs/xen-pt.c only when CONFIG_XEN=y
> (The alternative would be to move the prototypes used by the stub into
> xen.h, which doesn't depends on xen headers.)
Good catch.
Xen PCI passthrough support may not be available and thus the global
variable "has_igd_gfx_passthru" might be compiled out. Common code
should not access it in that case.
Unfortunately, we can't use CONFIG_XEN_PCI_PASSTHROUGH directly in
xen-common.c so this patch instead move access to the
has_ig