[Xen-ia64-devel][PATCH]Fix ptc.ga emulation bug.

["Xu, Anthony" <anthony.xu@xxxxxxxxx>]

Fix ptc.ga emulation bug.

This function call smp_call_function_single to purge
TLB on another processor,
if vcpu migration happens, smp_call_function_single is
called again, but if the vcpu is migrated to current 
physical processor, smp_call_function_single does nothing
and returns. Thus ptc.ga is not correctly emulated.



- Anthony

Attachment: fix_ptcga.patch
Description: fix_ptcga.patch

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