bad_el0_sync
void bad_el0_sync(struct pt_regs *regs, int reason, unsigned long esr);
bad_el0_sync(regs, 0, esr);