The lock becomes an __ipipe_spinlock_t in that case, and that's out of
scope for lockdep.

Signed-off-by: Jan Kiszka <jan.kis...@siemens.com>
---
 arch/x86/kernel/apic/vector.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/arch/x86/kernel/apic/vector.c b/arch/x86/kernel/apic/vector.c
index 17a4a98..244801f 100644
--- a/arch/x86/kernel/apic/vector.c
+++ b/arch/x86/kernel/apic/vector.c
@@ -485,7 +485,9 @@ void setup_vector_irq(int cpu)
 {
        int irq;
 
+#ifndef CONFIG_IPIPE
        lockdep_assert_held(&vector_lock);
+#endif
        /*
         * On most of the platforms, legacy PIC delivers the interrupts on the
         * boot cpu. But there are certain platforms where PIC interrupts are
-- 
2.1.4

_______________________________________________
Xenomai mailing list
Xenomai@xenomai.org
https://xenomai.org/mailman/listinfo/xenomai

Reply via email to