diff options
author | Jan Beulich <[email protected]> | 2021-09-17 12:48:03 +0200 |
---|---|---|
committer | Juergen Gross <[email protected]> | 2021-09-20 17:01:11 +0200 |
commit | e243ae953b5926eba1a8fbea64cbf68094f86a44 (patch) | |
tree | 91a2dc9134b6b729ee3787aa55400c96c0b72ddd /scripts/gdb/linux/utils.py | |
parent | 9074c79b62b6e0d91d7f716c6e4e9968eaf9e043 (diff) |
PCI: only build xen-pcifront in PV-enabled environments
The driver's module init function, pcifront_init(), invokes
xen_pv_domain() first thing. That construct produces constant "false"
when !CONFIG_XEN_PV. Hence there's no point building the driver in
non-PV configurations.
Drop the (now implicit and generally wrong) X86 dependency: At present,
XEN_PV can only be set when X86 is also enabled. In general an
architecture supporting Xen PV (and PCI) would want to have this driver
built.
Signed-off-by: Jan Beulich <[email protected]>
Reviewed-by: Stefano Stabellini <[email protected]>
Acked-by: Bjorn Helgaas <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Juergen Gross <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions