>>> Wei Liu <wei.l...@citrix.com> 06/26/17 6:29 PM >>> >Rename it to pv_raise_interrupt.
Is "interrupt" really a suitable term here? These are all exceptions being raised, not (external) interrupts. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
