Searched refs:clock_reg (Results 1 – 2 of 2) sorted by relevance
51 uint64_t clock_reg; in uuid_time() local56 clock_reg = uuid.time_low | ((uint64_t) high << 32); in uuid_time()58 clock_reg -= (((uint64_t) 0x01B21DD2) << 32) + 0x13814000; in uuid_time()59 tv.tv_sec = clock_reg / 10000000; in uuid_time()60 tv.tv_usec = (clock_reg % 10000000) / 10; in uuid_time()
237 uint64_t clock_reg; in get_clock() local308 clock_reg = tv.tv_usec*10 + adjustment; in get_clock()309 clock_reg += ((uint64_t) tv.tv_sec)*10000000; in get_clock()310 clock_reg += (((uint64_t) 0x01B21DD2) << 32) + 0x13814000; in get_clock()339 *clock_high = clock_reg >> 32; in get_clock()340 *clock_low = clock_reg; in get_clock()