On Fri, Feb 01, 2008 at 06:11:13PM +0800, Zhang, Xiantao wrote: > Hi,Isaku > I have a question about the mechanism for save/restore vhpi. In current > save/restore code, vhpi register is only saved and restored by > vlsapic_save/load, but it maybe not enough for ensuring correctness. IMO, we > need to call PAL_VPS_SET_PENDING_INTERRUPT again to set it, and make cpu > aware of its value. Do I miss something ? :)
Please notice the line in vlsapic_load() v->arch.irq_new_pending = 1; /* to force checking irq */ and see leave_hypervisor_tail() which is always called before entering VTi guest. leave_hypervisor_tail() eventually calls PAL_VPS_SET_PENDING_INTERRUPT. At least this is my intention. Do you find any path where it isn't called? thanks. -- yamahata _______________________________________________ Xen-ia64-devel mailing list Xen-ia64-devel@lists.xensource.com http://lists.xensource.com/xen-ia64-devel