Searched refs:l4_timeout_get (Results 1 – 1 of 1) sorted by relevance
179 l4_kernel_clock_t l4_timeout_get(l4_kernel_clock_t cur, l4_timeout_s to) L4_NOTHROW;245 l4_kernel_clock_t l4_timeout_get(l4_kernel_clock_t cur, l4_timeout_s to) L4_NOTHROW in l4_timeout_get() function
Completed in 2 milliseconds