/branches/arm/kernel/arch/arm32/src/exception.c |
---|
39,7 → 39,7 |
#include <arch/regutils.h> |
#include <interrupt.h> |
#include <arch/drivers/gxemul.h> |
#include <arch/mm/page.h> |
#include <arch/mm/page_fault.h> |
#define PREFETCH_OFFSET 0x8 |
#define BRANCH_OPCODE 0xea000000 |