AML_SYSERRX
AML_SYSERRX(1, "strange opcode 0x5b, 0x%x\n", opcode);
AML_SYSERRX(1, "strange opcode 0x%x\n", opcode);