Searched refs:res_high (Results 1 – 1 of 1) sorted by relevance
81 uint32_t res_lo, res_high; in counter_u64_read_one_8b() local87 : "=a" (res_lo), "=d"(res_high) in counter_u64_read_one_8b()90 return (res_lo + ((uint64_t)res_high << 32)); in counter_u64_read_one_8b()