diff options
author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2010-07-29 09:37:48 -0400 |
---|---|---|
committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2010-07-29 14:11:33 -0400 |
commit | ca65f9fc0c447da5b270b05c41c21b19c88617c3 (patch) | |
tree | 7a8813233d867635d01cc2c8397099df4468751d /arch/x86/xen/time.c | |
parent | b98a409b80ac510c95b4f1bafdef28edaeabd3e7 (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 'arch/x86/xen/time.c')
-rw-r--r-- | arch/x86/xen/time.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/arch/x86/xen/time.c b/arch/x86/xen/time.c index 4780e55886a5..2aab4a2b9100 100644 --- a/arch/x86/xen/time.c +++ b/arch/x86/xen/time.c | |||
@@ -516,6 +516,7 @@ __init void xen_init_time_ops(void) | |||
516 | x86_platform.set_wallclock = xen_set_wallclock; | 516 | x86_platform.set_wallclock = xen_set_wallclock; |
517 | } | 517 | } |
518 | 518 | ||
519 | #ifdef CONFIG_XEN_PVHVM | ||
519 | static void xen_hvm_setup_cpu_clockevents(void) | 520 | static void xen_hvm_setup_cpu_clockevents(void) |
520 | { | 521 | { |
521 | int cpu = smp_processor_id(); | 522 | int cpu = smp_processor_id(); |
@@ -544,4 +545,4 @@ __init void xen_hvm_init_time_ops(void) | |||
544 | x86_platform.get_wallclock = xen_get_wallclock; | 545 | x86_platform.get_wallclock = xen_get_wallclock; |
545 | x86_platform.set_wallclock = xen_set_wallclock; | 546 | x86_platform.set_wallclock = xen_set_wallclock; |
546 | } | 547 | } |
547 | 548 | #endif | |