On Tue, 3 Nov 2015, Qais Yousef wrote: > Add a generic mechanism to dynamically allocate an IPI. > > With this change the user can call irq_reserve_ipi() to dynamically allocate an > IPI and use the associated virq to send one to 1 or more cpus. Please move that to ipi.c as well. Thanks, tglx