Lines Matching refs:xcnt
77 uint64_t xcnt; member
95 shared_data->xcnt = timer_get_cntct(VIRTUAL); in guest_configure_timer_action()
100 shared_data->xcnt = timer_get_cntct(VIRTUAL); in guest_configure_timer_action()
105 shared_data->xcnt = timer_get_cntct(PHYSICAL); in guest_configure_timer_action()
110 shared_data->xcnt = timer_get_cntct(PHYSICAL); in guest_configure_timer_action()
122 uint64_t xcnt = 0, xcnt_diff_us, cval = 0; in guest_validate_irq() local
151 xcnt = timer_get_cntct(accessor); in guest_validate_irq()
154 xcnt_diff_us = cycles_to_usec(xcnt - shared_data->xcnt); in guest_validate_irq()
160 __GUEST_ASSERT(xcnt >= cval, in guest_validate_irq()
162 xcnt, cval, xcnt_diff_us); in guest_validate_irq()
163 __GUEST_ASSERT(xctl & CTL_ISTATUS, "xcnt = 0x%llx", xcnt); in guest_validate_irq()