Hallo Philippe, > > With those explanations, it looks clearer now. Please apply this > patch: >
Sorry, but after applying the patch I get a kernel compilation error. The error is: ERROR: "__ipipe_smp_key" [drivers/mergenthaler/clc/clc-clock.ko] undefined! scripts/Makefile.modpost:90: recipe for target '__modpost' failed symbol __ipipe_smp_key is used in both the two routines xnlock_get_irqsave(&nklock, s); and xnlock_put_irqrestore(&nklock, s); and it looks like it is defined in the kernel: grep -r ipipe_smp_key * | grep -v patch | grep -v \.o arch/arm/kernel/ipipe.c: struct static_key __ipipe_smp_key = STATIC_KEY_INIT_TRUE; arch/arm/include/asm/ipipe.h: extern struct static_key __ipipe_smp_key; arch/arm/include/asm/ipipe.h: #define ipipe_smp_p (static_key_true(&__ipipe_smp_key)) System.map:806fad48 D __ipipe_smp_key Binary file vmlinux matches any suggestion? Thanks in advance, Ruggero _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
