I build a HVM on xen which os is linux(debian), and pinned it to a particular core. When try to send ipi to this core from xen, I find the ipi receiver is idle domain whose domian id is 7FFFU. Then I want to get the real domain pinned to that core. Because I use AMD CPU, I have a test to get domain id in svm_ctxt_switch_to function. The result was not like my expection. I even not get any hvm context switch when all guest domains were ready. What happened when idle domain switchs to hvm domain? Is there other method to achieve my goal? _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel