54 void set(
unsigned poll_time_us)
68 bool test(
bool expression =
true)
A polling timeout based on the L4Re clock.
Poll_timeout_kipclock(unsigned poll_time_us)
Initialise relative timeout in microseconds.
bool test(bool expression=true)
Test whether timeout has expired.
void set(unsigned poll_time_us)
(Re-)Set relative timeout in microseconds
bool timed_out() const
Query whether timeout has expired.
l4_kernel_info_t const * l4re_kip(void) L4_NOTHROW
Get Kernel Info Page.
l4_uint64_t l4_cpu_time_t
CPU clock type.
l4_cpu_time_t l4_kip_clock(l4_kernel_info_t const *kip) L4_NOTHROW
Return clock value from the KIP.
L4 low-level kernel interface.
Kernel Info Page access functions.