Lines Matching refs:uint64_t
54 static uint64_t rtc_decrementer_min;
55 static uint64_t rtc_decrementer_max;
57 static uint64_t
59 uint64_t deadline,
60 uint64_t now)
62 uint64_t delta;
81 static uint64_t
82 rtc_lapic_set_timer(uint64_t deadline, uint64_t now)
84 uint64_t count;
85 uint64_t set = 0;
109 static uint64_t
110 rtc_lapic_set_tsc_deadline_timer(uint64_t deadline, uint64_t now)
112 uint64_t delta;
113 uint64_t delta_tsc;
114 uint64_t tsc = rdtsc64();
115 uint64_t set = 0;