Searched refs:timer_get_ctl (Results 1 – 6 of 6) sorted by relevance
130 static inline uint32_t timer_get_ctl(enum arch_timer timer) in timer_get_ctl() function
67 u32 timer_get_ctl(struct arch_timer_context *ctxt) in timer_get_ctl() function268 ((timer_get_ctl(timer_ctx) & in kvm_timer_irq_can_fire()441 unsigned long val = timer_get_ctl(ctx); in kvm_timer_update_status()639 write_sysreg_el0(timer_get_ctl(ctx), SYS_CNTV_CTL); in timer_restore_state()649 write_sysreg_el0(timer_get_ctl(ctx), SYS_CNTP_CTL); in timer_restore_state()1175 u32 ctl = timer_get_ctl(timer); in read_timer_ctl()
268 __entry->ctl = timer_get_ctl(ctx);290 __entry->ctl = timer_get_ctl(ctx);
144 u32 timer_get_ctl(struct arch_timer_context *ctxt);
83 xctl = timer_get_ctl(accessor); in guest_validate_irq()
164 ctl = timer_get_ctl(timer); in guest_irq_handler()