/* do_bad_fiq handles the impossible case in the Fiq vector.  */
void do_bad_fiq(struct pt_regs *pt_regs, unsigned int esr)
/* do_bad_fiq handles the impossible case in the Fiq vector.  */
void do_bad_fiq(struct pt_regs *pt_regs, unsigned int esr)
{
	efi_restore_gd();
	printf("Bad mode in \"Fiq\" handler, esr 0x%08x\n", esr);
	show_regs(pt_regs);
	show_efi_loaded_images(pt_regs);
	panic("Resetting CPU ...\n");
}