Searched refs:downcount_time (Results 1 – 1 of 1) sorted by relevance
133 uint64_t downcount_time; member1000 tsc_deadlines[mycpuid].downcount_time = val; in set_apic_timer()1029 val = tsc_deadlines[mycpuid].downcount_time; in read_apic_timer()