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 ? :) Thanks Xiantao
_______________________________________________ Xen-ia64-devel mailing list Xen-ia64-devel@lists.xensource.com http://lists.xensource.com/xen-ia64-devel
