timer_get_ctl
u32 ctl = timer_get_ctl(timer);
((timer_get_ctl(timer_ctx) &
unsigned long val = timer_get_ctl(ctx);
write_sysreg_el0(timer_get_ctl(ctx), SYS_CNTV_CTL);
write_sysreg_el0(timer_get_ctl(ctx), SYS_CNTP_CTL);
__entry->ctl = timer_get_ctl(ctx);
__entry->ctl = timer_get_ctl(ctx);
u32 timer_get_ctl(struct arch_timer_context *ctxt);
xctl = timer_get_ctl(accessor);
ctl = timer_get_ctl(timer);