Searched refs:timer_get_ctl (Results 1 – 4 of 4) sorted by relevance
130 static inline u32 timer_get_ctl(enum arch_timer timer) in timer_get_ctl() function
268 __entry->ctl = timer_get_ctl(ctx);290 __entry->ctl = timer_get_ctl(ctx);
83 xctl = timer_get_ctl(accessor); in guest_validate_irq()
165 ctl = timer_get_ctl(timer); in guest_irq_handler()