#include <__timeout.h>
Data Fields | |
| l4_uint16_t | t |
| timeout value | |
Basically a floating point number with 10 bits mantissa and 5 bits exponent (t = m*2^e).
The timout can also specify an absolute point in time (bit 16 == 1).
Definition at line 20 of file __timeout.h.