name: kvm_exit
ID: 37
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 ret;	offset:8;	size:4;	signed:1;
	field:unsigned int esr_ec;	offset:12;	size:4;	signed:0;
	field:unsigned long vcpu_pc;	offset:16;	size:8;	signed:0;

print fmt: "%s: HSR_EC: 0x%04x (%s), PC: 0x%016lx", __print_symbolic(REC->ret, {0, "IRQ" }, {1, "SERROR" }, {2, "TRAP" }, {0xbadca11, "HYP_GONE" }), REC->esr_ec, __print_symbolic(REC->esr_ec, { (0x00), "UNKNOWN" }, { (0x01), "WFx" }, { (0x03), "CP15_32" }, { (0x04), "CP15_64" }, { (0x05), "CP14_MR" }, { (0x06), "CP14_LS" }, { (0x07), "FP_ASIMD" }, { (0x08), "CP10_ID" }, { (0x09), "PAC" }, { (0x0C), "CP14_64" }, { (0x15), "SVC64" }, { (0x16), "HVC64" }, { (0x17), "SMC64" }, { (0x18), "SYS64" }, { (0x19), "SVE" }, { (0x1f), "IMP_DEF" }, { (0x20), "IABT_LOW" }, { (0x21), "IABT_CUR" }, { (0x22), "PC_ALIGN" }, { (0x24), "DABT_LOW" }, { (0x25), "DABT_CUR" }, { (0x26), "SP_ALIGN" }, { (0x28), "FP_EXC32" }, { (0x2C), "FP_EXC64" }, { (0x2F), "SERROR" }, { (0x30), "BREAKPT_LOW" }, { (0x31), "BREAKPT_CUR" }, { (0x32), "SOFTSTP_LOW" }, { (0x33), "SOFTSTP_CUR" }, { (0x34), "WATCHPT_LOW" }, { (0x35), "WATCHPT_CUR" }, { (0x38), "BKPT32" }, { (0x3A), "VECTOR32" }, { (0x3C), "BRK64" }), REC->vcpu_pc