[PATCH 5/6] x86/ipipe: fix build with CONFIG_X86_UV enabled

[Philippe Gerum]

From: Philippe Gerum <rpm at xenomai.org>

Signed-off-by: Philippe Gerum <rpm at 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