From: Philippe Gerum <r...@xenomai.org> Signed-off-by: Philippe Gerum <r...@xenomai.org> --- arch/x86/kernel/ipipe.c | 1 + 1 file changed, 1 insertion(+)
diff --git a/arch/x86/kernel/ipipe.c b/arch/x86/kernel/ipipe.c index 3f3afcecc1b9..c5ebfdf2dfb3 100644 --- a/arch/x86/kernel/ipipe.c +++ b/arch/x86/kernel/ipipe.c @@ -72,6 +72,7 @@ void smp_irq_move_cleanup_interrupt(struct pt_regs *regs); void smp_reboot_interrupt(void); void smp_thermal_interrupt(struct pt_regs *regs); void smp_threshold_interrupt(struct pt_regs *regs); +void uv_bau_message_interrupt(struct pt_regs *regs); void __ipipe_do_IRQ(unsigned int irq, void *cookie); -- 2.26.2