No matches were found for subject:"\[Xenomai\-commits\] r4517 \- in \/trunk\: ChangeLog include\/asm\-x86\/bits\/timer.h include\/asm\-x86\/hal.h include\/asm\-x86\/hal_32.h ksrc\/arch\/x86\/Kconfig ksrc\/arch\/x86\/Makefile ksrc\/arch\/x86\/hal\-common.c ksrc\/arch\/x86\/hal_32.c ksrc\/arch\/x86\/nmi.c ksrc\/arch\/x86\/nmi_32.c"