| name: kvm_get_timer_map |
| ID: 38 |
| 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:unsigned long vcpu_id; offset:8; size:8; signed:0; |
| field:int direct_vtimer; offset:16; size:4; signed:1; |
| field:int direct_ptimer; offset:20; size:4; signed:1; |
| field:int emul_ptimer; offset:24; size:4; signed:1; |
| |
| print fmt: "VCPU: %ld, dv: %d, dp: %d, ep: %d", REC->vcpu_id, REC->direct_vtimer, REC->direct_ptimer, REC->emul_ptimer |