Searched refs:u32_to_64 (Results 1 – 1 of 1) sorted by relevance
22 uint64_t u32_to_64(uint32_t low, uint32_t high) in u32_to_64() function131 return u32_to_64(low, high); in rdtscl()139 return u32_to_64(low, high); in rdtscpl()147 return u32_to_64(low, high); in rdpmcl()201 return u32_to_64(low, high); in rdpmcl_cycles()303 return end_time - u32_to_64(start_time.lo, start_time.hi); in get_diff_timing()