create_rt_thread
if (create_rt_thread(&blocker, third_party_blocker,
if (create_rt_thread(&waiter[i], waiterfn, (void *)&args[i],
if (create_rt_thread(&waker, wakerfn, (void *)&waker_arg,
res = create_rt_thread(&waiter, waiterfn, NULL, SCHED_FIFO, 1);