/* Panic if no interrupt service routine is installed in the interrupt vector.  */
void isr_none(int vector_number)
/* Panic if no interrupt service routine is installed in the interrupt vector.  */
void isr_none(int vector_number)
{
    sys_panic(FSTR("unhandled interrupt %d"), vector_number);
}