| 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 |
