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

Philippe Gerum rpm at xenomai.org
Mon Sep 7 17:11:10 CEST 2020


Jan Kiszka <jan.kiszka at siemens.com> writes:

> 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
>

Indeed, otherwise plain build tests with e.g. allyesconfig fail miserably.

-- 
Philippe.



More information about the Xenomai mailing list