Hi Stefano, On 05/10/2018 19:47, Stefano Stabellini wrote:
also rename it to set_interrupt.Signed-off-by: Stefano Stabellini <[email protected]>
Reviewed-by: Julien Grall <[email protected]> Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
