diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2010-03-09 12:29:10 +0000 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2010-03-09 12:29:10 +0000 |
| commit | a148f0e67dee472f185cf66b11fbc6cdc90a1804 (patch) | |
| tree | eae4cac7028d33ca8ec861317c74ece894bf564a | |
| parent | 17878b9031ca43a6c863a69d661d882ab45701f3 (diff) | |
| download | xen-a148f0e67dee472f185cf66b11fbc6cdc90a1804.tar.gz xen-a148f0e67dee472f185cf66b11fbc6cdc90a1804.tar.bz2 xen-a148f0e67dee472f185cf66b11fbc6cdc90a1804.zip | |
x86: Disable VCPUOP_register_vcpu_time_memory_area.
Its implementation is buggy and causes memory corruption.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
| -rw-r--r-- | xen/arch/x86/domain.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c index 0ead1a1985..d20487f8d9 100644 --- a/xen/arch/x86/domain.c +++ b/xen/arch/x86/domain.c @@ -970,6 +970,11 @@ arch_do_vcpu_op( break; } + /* + * XXX Disable for 4.0.0: __update_vcpu_system_time() writes to the given + * virtual address even when running in another domain's address space. + */ +#if 0 case VCPUOP_register_vcpu_time_memory_area: { struct vcpu_register_time_memory_area area; @@ -988,6 +993,7 @@ arch_do_vcpu_op( break; } +#endif case VCPUOP_get_physid: { |