Merge freefall.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into freefall.cl.cam.ac.uk:/auto/groups/xeno/users/iap10/xeno-clone/xen-unstable.bk
Re-organise guest_table, shadow_table and monitor_table so that
they always have the meaning their names suggest i.e. in the
hypervisor CR3 always contains monitor_table.
After updating guest_table or any of the shadow state remeber
to call update_pagetables(ed)
One side-effect of this change is that VMX guests now start off with
shadow_mode set to full_32, but actually running on the 1:1 physmap.
We don't actually call update_pagetables() until the VCPU enables
paging, hence ensuring that linear_pg_table is NULL so we bail out
early in shadow_fault if a vmx guest tries to access outside its
memory map. We'll need this for SMP VMX guests so that each VCPU can
enable paging independently. We might need to think further about
this for guests that do IO without paging on - possibly having a
generated pseudo phys pt that the full shadow mode can translate and
shadow.
Signed-off-by: ian@xensource.com
Added an in-memory ring buffer to which serial console output
can be temporarily redirected. Mode is toggled by the "c" key on
the Xen console.
Nice hack for printk() intensive debugging modes.
When switching back to serial output, the current contents of the
buffer are first dumped. Buffer defaults to 128Kb, but size can
be set on the Xen boot command line.
Rename check_pagetable() function to _check_pagetable to make it easier
to selectively enable it during debugging. There's still the same
check_pagetable macro, but now it's used both when SHADOW_DEBUG is
enabled and disabled.
Bug fix for shadow code.
When update_va_mapping() updates a entry, the corresponding shadow
entry may not be reachable via the shadow_linear_pg_table, even though
it is currently shadowed, as the corresponding spde has not necessarily
been faulted into place yet.
Merge freefall.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into freefall.cl.cam.ac.uk:/auto/groups/xeno/users/iap10/xeno-clone/xen-unstable.bk
Merge freefall.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into freefall.cl.cam.ac.uk:/auto/groups/xeno/users/iap10/xeno-clone/xen-unstable.bk
Subject: [PATCH] xentrace-vmx.patch
- Add VMX specific events to xentrace.
- Rename d -> ed
- cleanup dead code
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: ian@xensource.com
Merge arcadians.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-2.0-testing.bk
into arcadians.cl.cam.ac.uk:/auto/groups/xeno/users/cl349/BK/xen-unstable.bk
Subject: [PATCH] vmx-shadow-lock.patch
Fix an assertion failure due to not holding the shadow_lock()
Also remove a printk that makes debug=y too verbose.
Fix an assertion that required PERF_COUNTER
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: ian@xensource.com
Subject: [PATCH] xenctx.patch
Does this sound interesting? I found it useful to debug looping guests.
A gdb stub would be nicer - but this one is lighter weight.
-Arun
Tool for dumping the cpu context
# xenctx 1 0
eip: c01dfeab esp: c1603c98
eax: 00000020 ebx: c0432e10 ecx: 00000ee6 edx: 000001f7
esi: c0432d60 edi: 00000296 ebp: c0432d60
cs: 00000060 ds: 00000068 fs: 00000000 gs: 00000033
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: ian@xensource.com
Subject: [PATCH] dm-destroy.patch
Clicking on the power off button calls xm destroy as well.
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: ian@xensource.com
Merge freefall.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into freefall.cl.cam.ac.uk:/auto/groups/xeno/users/iap10/xeno-clone/xen-unstable.bk
Ensure coherency of guest-PDE 'accessed' bits when using shadow page
tables. There is no issue with 'dirty' bits because only PTEs and
super-page PDEs (which we do not support) have 'dirty' bits.
Signed-off-by: keir.fraser@cl.cam.ac.uk
