Lines Matching refs:timer_idx
234 __field( int, timer_idx )
240 __entry->timer_idx = arch_timer_ctx_index(ctx);
246 __entry->timer_idx)
256 __field( int, timer_idx )
262 __entry->timer_idx = arch_timer_ctx_index(ctx);
268 __entry->timer_idx)
276 __field( int, timer_idx )
280 __entry->timer_idx = arch_timer_ctx_index(ctx);
283 TP_printk("arch_timer_ctx_index: %d", __entry->timer_idx)
291 __field( int, timer_idx )
296 __entry->timer_idx = arch_timer_ctx_index(ctx);
301 __entry->timer_idx, __entry->should_fire)