void irq_handler (void)
{
//debug_printf("Bad Interrupt - IRQ Handler\n");
while (1) ;
}

void fiq_handler (void)
{
//debug_printf("Bad Interrupt - FIQ Handler\n");
while (1) ;
}

void swi_handler (void)
{
//debug_printf("Bad Interrupt - SW Interrupt Handler\n");
while (1) ;
}

void undef_handler (void)
{
//debug_printf("Bad Interrupt - Undefined Handler\n");
while (1) ;
}