__panic_unhandled
__panic_unhandled(regs, desc, read_sysreg(esr_el1)); \
__panic_unhandled(regs, "64-bit el1h sync", esr);