arch_timer_ctx_index
switch(arch_timer_ctx_index(ctxt)) {
switch(arch_timer_ctx_index(ctxt)) {
index = arch_timer_ctx_index(timer_ctx);
enum kvm_arch_timers index = arch_timer_ctx_index(ctx);
enum kvm_arch_timers index = arch_timer_ctx_index(ctx);
switch(arch_timer_ctx_index(ctxt)) {
switch(arch_timer_ctx_index(ctxt)) {
__entry->direct_vtimer = arch_timer_ctx_index(map->direct_vtimer);
(map->direct_ptimer) ? arch_timer_ctx_index(map->direct_ptimer) : -1;
(map->emul_vtimer) ? arch_timer_ctx_index(map->emul_vtimer) : -1;
(map->emul_ptimer) ? arch_timer_ctx_index(map->emul_ptimer) : -1;
__entry->timer_idx = arch_timer_ctx_index(ctx);
__entry->timer_idx = arch_timer_ctx_index(ctx);
__entry->timer_idx = arch_timer_ctx_index(ctx);
__entry->timer_idx = arch_timer_ctx_index(ctx);
#define timer_irq(ctx) (timer_vm_data(ctx)->ppi[arch_timer_ctx_index(ctx)])
WARN(offset, "timer %d\n", arch_timer_ctx_index(ctxt));