On Thu, Apr 07, 2011 at 10:26:02PM +0200, Gilles Chanteperdrix wrote:
> 
> On my side, I meant to say, the issue is in the implementation of the
> I-pipe one-shot timer, the function ipipe_mach_set_dec...

I couldn't find anything wrong there, but I did find this...

In ipipe_tsc_asm.S you have

 #ifndef CONFIG_CPU_ENDIAN_BE8
 /* Little endian */
        ldr     r0, [r0]
        cmp     r2, r0
        adc     r1, r3, #0
 #else /* Big endian */
        ldr     r1, [r0]
        cmp     r3, r1
        adc     r0, r2, #0
 #endif /* Big endian */

but my .config has

 CONFIG_ARCH_SUPPORTS_BIG_ENDIAN=y
 CONFIG_CPU_BIG_ENDIAN=y
 # CONFIG_CPU_ENDIAN_BE8 is not set
 CONFIG_CPU_ENDIAN_BE32=y

and the machine really is big endian, so that might make a difference.

Richard




_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to