Searched refs:clock_reg (Results 1 – 2 of 2) sorted by relevance
61 uint64_t clock_reg; in uuid_time() local66 clock_reg = uuid.time_low | ((uint64_t) high << 32); in uuid_time()68 clock_reg -= (((uint64_t) 0x01B21DD2) << 32) + 0x13814000; in uuid_time()69 tv.tv_sec = clock_reg / 10000000; in uuid_time()70 tv.tv_usec = (clock_reg % 10000000) / 10; in uuid_time()
315 uint64_t clock_reg; in get_clock() local385 clock_reg = tv.tv_usec*10 + adjustment; in get_clock()386 clock_reg += ((uint64_t) tv.tv_sec)*10000000; in get_clock()387 clock_reg += (((uint64_t) 0x01B21DD2) << 32) + 0x13814000; in get_clock()412 *clock_high = clock_reg >> 32; in get_clock()413 *clock_low = clock_reg; in get_clock()