Searched refs:kip_time_fn_read_ns (Results 1 – 1 of 1) sorted by relevance
203 typedef l4_uint64_t (*kip_time_fn_read_ns)(void); in l4_kip_clock_ns() typedef204 kip_time_fn_read_ns read_ns = in l4_kip_clock_ns()205 (kip_time_fn_read_ns)((l4_uint8_t*)kip + L4_KIP_OFFS_READ_NS); in l4_kip_clock_ns()
Completed in 5 milliseconds