Searched refs:L4_KIP_OFFS_READ_US (Results 1 – 1 of 1) sorted by relevance
74 L4_KIP_OFFS_READ_US = 0x900, enumerator196 (kip_time_fn_read_us)((l4_uint8_t*)kip + L4_KIP_OFFS_READ_US); in l4_kip_clock()
Completed in 2 milliseconds