os::rtos::port::clock Namespace Reference

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.

Typedef Documentation

duration_t

using os::rtos::port::clock::duration_t = typedef uint32_t

A numeric type intended to hold a generic duration, either in ticks cycles or seconds.

Definition at line 812 of file os-decls.h.

offset_t

using os::rtos::port::clock::offset_t = typedef int64_t

Definition at line 823 of file os-decls.h.

timestamp_t

using os::rtos::port::clock::timestamp_t = typedef uint64_t

A numeric type intended to hold a generic timestamp, either in ticks cycles or seconds.

Definition at line 821 of file os-decls.h.