Xenomai/PSOS race condition t_resume

#include <stdio.h>
#include <stdlib.h>
#include <psos/psos.h>

u_long args[] = { 1, 2, 3, 4 };

static void root_task(u_long a0, u_long a1, u_long a2, u_long a3)
{
        t_suspend(0);
}

int main(int argc, char *const argv[])
{
        do {
                u_long tid;
                t_create("root", 1, 0, 0, 0, &tid);
                t_start(tid, 0, root_task, args);

                tm_wkafter(1000);
                t_resume(tid);
        } while (1);

        exit(0);
}