#define UNDEF_INSTR    0
#define PREFETCH_ABORT 1
#define DATA_ABORT     2
#define RESERVED_ABORT 3

static char *abort_msg[] = { "Undefined instruction", "Prefectch abort",
	"Data abort", "Reserved handler" };
void abort(int type, int pc)
{
	//ser_printf("\nAbort(%s at pc=0x%08x)\n", abort_msg[type], pc);

	while(1);
}