#include <rtl.h>

U32 os_time_get (void);

The os_time_get function obtains the current value of the system tick counter. The system tick counter is a free running counter, which is incremented by the system on every system tick. It represents the OS time measured in system intervals.

The os_time_get function is in the RL-RTX library. The prototype is defined in rtl.h.

The os_time_get function returns current OS time.

os_dly_wait, os_itv_set, os_itv_wait

#include <rtl.h>

BOOL init_io (void) {
  U32 ticks;

  ticks = os_time_get ();
  do {
    process_io ();
    if (io_ready()) {
      /* Success, IO initialized. */
      return (__TRUE);
    }
  } while ((os_time_get () - ticks) < 10);
  /* Timeout, 10 ticks expired. */
  return (__FALSE);
}