RTX Kernel user timers

Yes, I know that. But do you see a problem with using os_itv_set() and os_itv_wait()?

#include <rtl.h>

void task1 (void) __task {
    .
    .
   os_itv_set (20);
   for (;;) {
     os_itv_wait ();
     /* do some actions at regular time intervals */
   }
}

Yes, I know that. But do you see a problem with using os_itv_set() and os_itv_wait()?

#include <rtl.h>

void task1 (void) __task {
    .
    .
   os_itv_set (20);
   for (;;) {
     os_itv_wait ();
     /* do some actions at regular time intervals */
   }
}