Keith Owens <kaos@xxxxxxx> wrote: > The declaration of handle_IPI should really be in a header file instead > of a .c file, but which one? Adding > > extern irqreturn_t handle_IPI(int irq, void *dev_id); Stick it in arch/ia64/kernel/internal.h. That way it'll not be directly exposed to the rest of the kernel. Then #include that file from interested parties in that directory. Otherwise your patch looks reasonable. Acked-By: David Howells <dhowells@xxxxxxxxxx> - To unsubscribe from this list: send the line "unsubscribe linux-ia64" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
|