Alexander Graf (2):
xen: remove CONFIG_XEN_MAPCACHE
xen: make xen_enabled even more clever
Anthony PERARD (6):
xen: introduce xen_change_state_handler
xen: Fix xen_enabled().
exec.c: Use ram_addr_t in cpu_physical_memory_rw(...).
cpu-common: Have a ram_addr_t of uint64 with Xen.
xen: Fix the memory registration to reflect of what is done by Xen.
vl.c: Check the asked ram_size later.
Stefano Stabellini (1):
xen: implement unplug protocol in xen_platform
configure | 8 ++++--
cpu-common.h | 8 +++++++
exec.c | 13 ++++++-----
hw/ide.h | 1 +
hw/ide/piix.c | 44 +++++++++++++++++++++++++++++++++++++++++++
hw/pc_piix.c | 6 ++++-
hw/xen.h | 2 +-
hw/xen_platform.c | 43 +++++++++++++++++++++++++++++++++++++++++-
vl.c | 16 +++++++++-----
xen-all.c | 54 ++++++++++++++++++++++++++++++++++++++--------------
10 files changed, 162 insertions(+), 33 deletions(-)