2013/8/12 Jan Beulich <JBeulich@suse.com>

> >>> On 12.08.13 at 14:47, J Ahn <jeong.seob.ahn@gmail.com> wrote:
>
> Please don't top post.
>
> > Could you tell me the how to handle the virtualized IPI on Xen ??
>
> The virtualized IPI gets handled by the guest OS, not by Xen.
>
> Jan
>
>
Sorry, I asked you the wrong question.

I was wondering how Xen works when the guest sends the TLB shootdown IPI.
You mean that there is no need to intercept the IPI on Xen.
Is my understanding right?