ia64/xen-unstable

changeset 5857:eba58fc9f755

Really enable gdbserver for real mode code.

Missed out one instance where we need to check if we're running on
1:1 page tables with guest paging disabled.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
author kaf24@firebug.cl.cam.ac.uk
date Mon Jul 25 21:03:25 2005 +0000 (2005-07-25)
parents 4999a05b568f
children d6af2ea42f94
files tools/libxc/xc_ptrace.c
line diff
     1.1 --- a/tools/libxc/xc_ptrace.c	Mon Jul 25 21:03:05 2005 +0000
     1.2 +++ b/tools/libxc/xc_ptrace.c	Mon Jul 25 21:03:25 2005 +0000
     1.3 @@ -202,7 +202,7 @@ map_domain_va(unsigned long domid, int c
     1.4      }
     1.5      if ((page = pde_virt[cpu][vtopti(va)]) == 0) /* logical address */
     1.6  	goto error_out;
     1.7 -    if (ctxt[cpu].flags & VGCF_VMX_GUEST)
     1.8 +    if (ctxt[cpu].flags & VGCF_VMX_GUEST && paging_enabled(&ctxt[cpu]))
     1.9          page = page_array[page >> PAGE_SHIFT] << PAGE_SHIFT;
    1.10      if (page != page_phys[cpu] || perm != prev_perm[cpu]) 
    1.11      {