Typedefs | |
using | duration_t = uint32_t |
Type of variables holding timer durations. | |
using | offset_t = int64_t |
using | timestamp_t = uint64_t |
Type of variables holding time stamps. | |
using os::rtos::port::clock::duration_t = typedef uint32_t |
Type of variables holding timer durations.
A numeric type intended to hold a generic duration, either in ticks cycles or seconds.
Definition at line 838 of file os-decls.h.
using os::rtos::port::clock::offset_t = typedef int64_t |
Definition at line 848 of file os-decls.h.
using os::rtos::port::clock::timestamp_t = typedef uint64_t |
Type of variables holding time stamps.
A numeric type intended to hold a generic timestamp, either in ticks cycles or seconds.
Definition at line 846 of file os-decls.h.