Lines Matching refs:uint64_t
107 #define STIME_MAX ((s_time_t)((uint64_t)~0ull>>1))
153 struct vcpu *v, struct periodic_time *pt, uint64_t delta,
154 uint64_t period, uint8_t irq, time_cb *cb, void *data);
161 uint64_t capability; /* capabilities */
162 uint64_t config; /* configuration */
163 uint64_t isr; /* interrupt status reg */
164 uint64_t mc64; /* main counter */
167 uint64_t config; /* configuration/cap */
168 uint64_t cmp; /* comparator */
169 uint64_t fsb; /* FSB route, not supported now */
173 uint64_t period[HPET_TIMER_NUM]; /* Last value written to comparator */
174 uint64_t comparator64[HPET_TIMER_NUM]; /* 64 bit running comparator */
175 uint64_t offset64[HPET_TIMER_NUM]; /* offset so comparator calc "works" */
176 uint64_t first_mc64[HPET_TIMER_NUM]; /* 1st interval main counter */
183 uint64_t stime_freq;
184 uint64_t hpet_to_ns_scale; /* hpet ticks to ns (multiplied by 2^10) */
185 uint64_t hpet_to_ns_limit; /* max hpet ticks convertable to ns */
186 uint64_t mc_offset;
204 uint64_t last_guest_time;
271 uint64_t hvm_get_guest_time(struct vcpu *v);
277 uint64_t capability; /* capabilities */
278 uint64_t res0; /* reserved */
279 uint64_t config; /* configuration */
280 uint64_t res1; /* reserved */
281 uint64_t isr; /* interrupt status reg */
282 uint64_t res2[25]; /* reserved */
283 uint64_t mc64; /* main counter */
284 uint64_t res3; /* reserved */
287 uint64_t config; /* configuration/cap */
288 uint64_t cmp; /* comparator */
289 uint64_t fsb; /* FSB route, not supported now */
290 uint64_t res4; /* reserved */
292 uint64_t res5[4 * (24 - HPET_TIMER_NUM)]; /* reserved, up to 0x3ff */
295 uint64_t period[HPET_TIMER_NUM]; /* Last value written to comparator */
404 extern uint64_t __read_mostly hpet_force_diff;
405 extern uint64_t __read_mostly hpet_force_mc64;
406 extern uint64_t __read_mostly hpet_force_cmp;
407 extern uint64_t __read_mostly hpet_force_period;