L4Re Operating System Framework
Interface and Usage Documentation
|
Basic timeout specification. More...
#include <__timeout.h>
Data Fields | |
l4_uint16_t | t |
timeout value | |
Basic timeout specification.
Basically a floating point number with 10 bits mantissa and 5 bits exponent (t = m*2^e).
If bit 15 == 1 the timeout is absolute and the lower 6 bits encode the index of the UTCB buffer register(s) holding the absolute 64-bit timeout value. On 32-bit systems, two consecutive UTCB buffer registers are used.
Definition at line 48 of file __timeout.h.