39,6 → 39,7 |
#include <arch/regutils.h> |
#include <interrupt.h> |
#include <arch/drivers/gxemul.h> |
#include <arch/mm/page.h> |
|
#define PREFETCH_OFFSET 0x8 |
#define BRANCH_OPCODE 0xea000000 |
137,12 → 138,7 |
PROCESS_EXCEPTION(EXC_IRQ); |
} |
|
static void prefetch_abort_exception(int exc_no, istate_t* istate) |
{ |
//aux_puts("(PREFETCH|DATA) ABORT exception caught, not processed.\n"); |
} |
|
|
/** Interrupt Exception handler. |
* Determines the sources of interrupt, and calls their handlers. |
*/ |
245,8 → 241,8 |
install_exception_handlers(); |
|
exc_register(EXC_IRQ, "interrupt", (iroutine) irq_exception); |
exc_register(EXC_PREFETCH_ABORT, "prefetch abort", (iroutine) prefetch_abort_exception); |
exc_register(EXC_DATA_ABORT, "data abort", (iroutine) prefetch_abort_exception); |
exc_register(EXC_PREFETCH_ABORT, "prefetch abort", (iroutine) prefetch_abort); |
exc_register(EXC_DATA_ABORT, "data abort", (iroutine) data_abort); |
/* TODO add next */ |
} |
|