timer_get_cntct
shared_data->xcnt = timer_get_cntct(VIRTUAL);
shared_data->xcnt = timer_get_cntct(VIRTUAL);
shared_data->xcnt = timer_get_cntct(PHYSICAL);
shared_data->xcnt = timer_get_cntct(PHYSICAL);
xcnt = timer_get_cntct(accessor);
cnt = timer_get_cntct(timer);
u64 start = timer_get_cntct(sleep_timer);
while ((timer_get_cntct(sleep_timer) - start) < cycles) {
GUEST_ASSERT(timer_get_cntct(timer) >=
timer_get_cntct(timer) -
GUEST_ASSERT(timer_get_cval(timer) < timer_get_cntct(timer));
timer_get_cntct(timer) + TVAL_MAX +
timer_get_cntct(timer) + 2ULL * TVAL_MAX +
cval = timer_get_cntct(timer) + TVAL_MAX +
u64 now_ct = timer_get_cntct(timer);
u64 start = timer_get_cntct(timer);
while ((timer_get_cntct(timer) - start) < cycles)