[Xen-devel] [PATCH] To destroy 64-bit VMX guest

["Li, Chengyuan" <chengyuan.li@xxxxxxxxx>]

Patch for 64-bit VMX guest destroy

64-bit VMX guest can't be destroyed without this patch, as guest page's
reference count problem.
This patch made two point of reference count correct:
1. In invlpg, the old page count need put.
2. There is a specail case for fl1's shadow reference count. 
 

Signed-off-by: Chengyuan Li <chengyuan.li@xxxxxxxxx>
Signed-off-by: Jun Nakajima <jun.nakajima@xxxxxxxxx>

Thanks,
Chengyuan

Attachment: 64-bit_vmx_destroy.patch
Description: 64-bit_vmx_destroy.patch

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel