debuggers.hg
changeset 17308:76c9cf11ce23
vmx: Setting of VMCS IO_BITMAP_B must take account of fact that
hvm_io_bitmap is now a long[] rather than a char[].
Bug spotted by Dexuan Cui <dexuan.cui@intel.com>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
hvm_io_bitmap is now a long[] rather than a char[].
Bug spotted by Dexuan Cui <dexuan.cui@intel.com>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author | Keir Fraser <keir.fraser@citrix.com> |
---|---|
date | Fri Mar 21 09:45:34 2008 +0000 (2008-03-21) |
parents | c8c8b5c5f6d7 |
children | 5b4dad214f91 |
files | xen/arch/x86/hvm/vmx/vmcs.c |
line diff
1.1 --- a/xen/arch/x86/hvm/vmx/vmcs.c Thu Mar 20 18:28:52 2008 +0000 1.2 +++ b/xen/arch/x86/hvm/vmx/vmcs.c Fri Mar 21 09:45:34 2008 +0000 1.3 @@ -473,8 +473,8 @@ static int construct_vmcs(struct vcpu *v 1.4 } 1.5 1.6 /* I/O access bitmap. */ 1.7 - __vmwrite(IO_BITMAP_A, virt_to_maddr(hvm_io_bitmap)); 1.8 - __vmwrite(IO_BITMAP_B, virt_to_maddr(hvm_io_bitmap + PAGE_SIZE)); 1.9 + __vmwrite(IO_BITMAP_A, virt_to_maddr((char *)hvm_io_bitmap + 0)); 1.10 + __vmwrite(IO_BITMAP_B, virt_to_maddr((char *)hvm_io_bitmap + PAGE_SIZE)); 1.11 1.12 /* Host GDTR base. */ 1.13 __vmwrite(HOST_GDTR_BASE, GDT_VIRT_START(v));