RTDM Printk do not work on rtdm_timer_handler_t

[ayaida marwane via Xenomai]

Dear all,

I have tried this code :

————————————————————

#include <rtdm/driver.h>

static int periode_us = 1000;
module_param(periode_us, int, 0644);

static void timer_task(rtdm_timer_t *);
static rtdm_timer_t rtimer;

static int __init init_oscillateur (void)
{
        int err;

        rtdm_printk(KERN_INFO "%s.%s() : Initialisation\n", THIS_MODULE->name, 
__FUNCTION__);

        if ((err = rtdm_timer_init(& rtimer, timer_task, "Timer_Task")) != 0) {
                return err;
        }

        if ((err = rtdm_timer_start(& rtimer, periode_us*1000, periode_us*1000, 
RTDM_TIMERMODE_RELATIVE)) != 0) {
                rtdm_timer_destroy(& rtimer);
                return err;
        }

        return 0;
}

static void __exit exit_oscillateur (void)
{
        rtdm_timer_stop(& rtimer);
        rtdm_timer_destroy(& rtimer);
        rtdm_printk(KERN_INFO "%s.%s() : Exit\n", THIS_MODULE->name, 
__FUNCTION__);
}

static void timer_task(rtdm_timer_t * unused)
{
        rtdm_printk(KERN_INFO "%s.%s() : Appel Timer\n", THIS_MODULE->name, 
__FUNCTION__);
}

module_init(init_oscillateur);
module_exit(exit_oscillateur);
MODULE_LICENSE("GPL");


————————————————————

However, when I execute the code, we have only :

[ 6696.615556] oscillateur_gpio_rtdm.init_oscillateur() : Initialisation
[ 6705.148129] oscillateur_gpio_rtdm.exit_oscillateur() : Exit

So, why the rtdm_printk in the timer_task is never called?

Thanks for your help.

BR,
Marwane.