diff options
| -rw-r--r-- | arch/x86/xen/platform-pci-unplug.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/x86/xen/platform-pci-unplug.c b/arch/x86/xen/platform-pci-unplug.c index 90d1b83cf35f..33a783c77d96 100644 --- a/arch/x86/xen/platform-pci-unplug.c +++ b/arch/x86/xen/platform-pci-unplug.c | |||
| @@ -73,8 +73,8 @@ bool xen_has_pv_devices(void) | |||
| 73 | if (!xen_domain()) | 73 | if (!xen_domain()) |
| 74 | return false; | 74 | return false; |
| 75 | 75 | ||
| 76 | /* PV domains always have them. */ | 76 | /* PV and PVH domains always have them. */ |
| 77 | if (xen_pv_domain()) | 77 | if (xen_pv_domain() || xen_pvh_domain()) |
| 78 | return true; | 78 | return true; |
| 79 | 79 | ||
| 80 | /* And user has xen_platform_pci=0 set in guest config as | 80 | /* And user has xen_platform_pci=0 set in guest config as |