Searched refs:kip_time_fn_read_us (Results 1 – 1 of 1) sorted by relevance
194 typedef l4_uint64_t (*kip_time_fn_read_us)(void); in l4_kip_clock() typedef195 kip_time_fn_read_us read_us = in l4_kip_clock()196 (kip_time_fn_read_us)((l4_uint8_t*)kip + L4_KIP_OFFS_READ_US); in l4_kip_clock()
Completed in 2 milliseconds