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>
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));