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

Jan Kiszka jan.kiszka at siemens.com
Mon Sep 7 16:45:41 CEST 2020


On 07.09.20 15:09, Philippe Gerum wrote:
> 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);
>  
> 

IIRC, I broke that intentionally. There is more needed, and no one
should get something building but subtly not working. But we may better do

    depends on !IPIPE

Jan

-- 
Siemens AG, Corporate Technology, CT RDA IOT SES-DE
Corporate Competence Center Embedded Linux



More information about the Xenomai mailing list