aboutsummaryrefslogtreecommitdiffstats
path: root/drivers/xen
diff options
context:
space:
mode:
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>2010-07-29 09:37:48 -0400
committerJeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>2010-07-29 14:11:33 -0400
commitca65f9fc0c447da5b270b05c41c21b19c88617c3 (patch)
tree7a8813233d867635d01cc2c8397099df4468751d /drivers/xen
parentb98a409b80ac510c95b4f1bafdef28edaeabd3e7 (diff)
Introduce CONFIG_XEN_PVHVM compile option
This patch introduce a CONFIG_XEN_PVHVM compile time option to enable/disable Xen PV on HVM support. Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Diffstat (limited to 'drivers/xen')
-rw-r--r--drivers/xen/Kconfig2
-rw-r--r--drivers/xen/events.c4
2 files changed, 5 insertions, 1 deletions
diff --git a/drivers/xen/Kconfig b/drivers/xen/Kconfig
index 8f84b108b491..0a8826936639 100644
--- a/drivers/xen/Kconfig
+++ b/drivers/xen/Kconfig
@@ -64,7 +64,7 @@ config XEN_SYS_HYPERVISOR
64 64
65config XEN_PLATFORM_PCI 65config XEN_PLATFORM_PCI
66 tristate "xen platform pci device driver" 66 tristate "xen platform pci device driver"
67 depends on XEN 67 depends on XEN_PVHVM
68 default m 68 default m
69 help 69 help
70 Driver for the Xen PCI Platform device: it is responsible for 70 Driver for the Xen PCI Platform device: it is responsible for
diff --git a/drivers/xen/events.c b/drivers/xen/events.c
index b5a254e9aebe..5e1f34892dcc 100644
--- a/drivers/xen/events.c
+++ b/drivers/xen/events.c
@@ -973,6 +973,7 @@ int xen_set_callback_via(uint64_t via)
973} 973}
974EXPORT_SYMBOL_GPL(xen_set_callback_via); 974EXPORT_SYMBOL_GPL(xen_set_callback_via);
975 975
976#ifdef CONFIG_XEN_PVHVM
976/* Vector callbacks are better than PCI interrupts to receive event 977/* Vector callbacks are better than PCI interrupts to receive event
977 * channel notifications because we can receive vector callbacks on any 978 * channel notifications because we can receive vector callbacks on any
978 * vcpu and we don't need PCI support or APIC interactions. */ 979 * vcpu and we don't need PCI support or APIC interactions. */
@@ -996,6 +997,9 @@ void xen_callback_vector(void)
996 alloc_intr_gate(XEN_HVM_EVTCHN_CALLBACK, xen_hvm_callback_vector); 997 alloc_intr_gate(XEN_HVM_EVTCHN_CALLBACK, xen_hvm_callback_vector);
997 } 998 }
998} 999}
1000#else
1001void xen_callback_vector(void) {}
1002#endif
999 1003
1000void __init xen_init_IRQ(void) 1004void __init xen_init_IRQ(void)
1001{ 1005{