[IA64] vti domain save/restore: implement arch_get/set_info_guest() more
authorAlex Williamson <alex.williamson@hp.com>
Sun, 21 Oct 2007 19:38:57 +0000 (13:38 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Sun, 21 Oct 2007 19:38:57 +0000 (13:38 -0600)
commit0f93dc4f9817d08c84f88b17092d5ff66e10cacb
tree54f7f8591493be1ef4e755be96e9a6f0566af15a
parent5cda87e51daec0803189fdb179a46781008a66fc
[IA64] vti domain save/restore: implement arch_get/set_info_guest() more

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/vmx/Makefile
xen/arch/ia64/vmx/vmx_vcpu_save.c [new file with mode: 0644]
xen/arch/ia64/xen/domain.c
xen/arch/ia64/xen/xenasm.S
xen/include/asm-ia64/vmx_vcpu_save.h [new file with mode: 0644]
xen/include/public/arch-ia64.h