Searched refs:timer_get_cntct (Results 1 – 3 of 3) sorted by relevance
14 uint64_t start = timer_get_cntct(timer); in __delay()16 while ((timer_get_cntct(timer) - start) < cycles) in __delay()
34 static inline uint64_t timer_get_cntct(enum arch_timer timer) in timer_get_cntct() function131 uint64_t now_ct = timer_get_cntct(timer); in timer_set_next_cval_ms()
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()151 xcnt = timer_get_cntct(accessor); in guest_validate_irq()