| name: kvm_set_way_flush | |
| ID: 43 | |
| 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_pc; offset:8; size:8; signed:0; | |
| field:bool cache; offset:16; size:1; signed:0; | |
| print fmt: "S/W flush at 0x%016lx (cache %s)", REC->vcpu_pc, REC->cache ? "on" : "off" |