Searched refs:timer_get_ctl (Results 1 – 3 of 3) sorted by relevance
106 u32 timer_get_ctl(struct arch_timer_context *ctxt);
304 __entry->ctl = timer_get_ctl(ctx);326 __entry->ctl = timer_get_ctl(ctx);
54 u32 timer_get_ctl(struct arch_timer_context *ctxt) in timer_get_ctl() function234 ((timer_get_ctl(timer_ctx) & in kvm_timer_irq_can_fire()521 write_sysreg_el0(timer_get_ctl(ctx), SYS_CNTV_CTL); in timer_restore_state()526 write_sysreg_el0(timer_get_ctl(ctx), SYS_CNTP_CTL); in timer_restore_state()846 u32 ctl = timer_get_ctl(timer); in read_timer_ctl()