96,8 → 96,6 |
start_decrementer(); |
} |
|
#ifdef CONFIG_UDEBUG |
|
static void exception_program_trap(istate_t *istate) |
{ |
if (istate_from_uspace(istate)) |
116,8 → 114,6 |
} |
} |
|
#endif |
|
/* Initialize basic tables for exception dispatching */ |
void interrupt_init(void) |
{ |
125,9 → 121,7 |
exc_register(VECTOR_INSTRUCTION_STORAGE, "instruction_storage", pht_refill); |
exc_register(VECTOR_EXTERNAL, "external", exception_external); |
exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
#ifdef CONFIG_UDEBUG |
exc_register(VECTOR_PROGRAM, "program", exception_program); |
#endif |
} |
|
/** @} |