Searched refs:clock_reg (Results 1 – 2 of 2) sorted by relevance
63 uint64_t clock_reg; in uuid_time() local68 clock_reg = uuid.time_low | ((uint64_t) high << 32); in uuid_time()70 clock_reg -= (((uint64_t) 0x01B21DD2) << 32) + 0x13814000; in uuid_time()71 tv.tv_sec = clock_reg / 10000000; in uuid_time()72 tv.tv_usec = (clock_reg % 10000000) / 10; in uuid_time()
322 uint64_t clock_reg; in get_clock() local395 clock_reg = tv.tv_usec*10 + adjustment; in get_clock()396 clock_reg += ((uint64_t) tv.tv_sec)*10000000; in get_clock()397 clock_reg += (((uint64_t) 0x01B21DD2) << 32) + 0x13814000; in get_clock()428 *clock_high = clock_reg >> 32; in get_clock()429 *clock_low = clock_reg; in get_clock()