On 26/06/17 17:28, Wei Liu wrote: > Rename it to pv_raise_interrupt. Simplify the code by using the vcpu > structure already at hand in the caller.
double space. > > Signed-off-by: Wei Liu <wei.l...@citrix.com> Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
