At 10:47 +0000 on 11 Dec (1418291241), Jan Beulich wrote: > ... for the time being: The mechanism used depends on the domain's use > of the IRET hypercall.
Can you elaborate? Looking at the existing code it seems like what it does is set v->nmi_pending and make sure the vcpu gets scheduled appropriately. The HVM code will deliver an NMI if it sees v->nmi_pending (which is what vlapic_accept_irq does, for example). Is there some other piece I'm missing? Cheers, Tim. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel