name: kvm_timer_emulate | |
ID: 45 | |
format: | |
field:unsigned short common_type; offset:0; size:2; signed:0; | |
field:unsigned char common_flags; offset:2; size:1; signed:0; | |
field:unsigned char common_preempt_count; offset:3; size:1; signed:0; | |
field:int common_pid; offset:4; size:4; signed:1; | |
field:int timer_idx; offset:8; size:4; signed:1; | |
field:bool should_fire; offset:12; size:1; signed:0; | |
print fmt: "arch_timer_ctx_index: %d (should_fire: %d)", REC->timer_idx, REC->should_fire |