43 E_EXC_BUS_ERROR = 0x02,
44 E_EXC_TICK_TIMER = 0x05,
45 E_EXC_UNALIGNED_ACCESS = 0x06,
46 E_EXC_ILLEGAL_INSTRUCTION = 0x07,
47 E_EXC_EXTERNAL_INTERRUPT = 0x08,
51 E_EXC_STACK_OVERFLOW = 0x10
55 PUBLIC
void vEXC_Register(
void);
57 void debug_file_line(
const char *file,
int line);