diff options
Diffstat (limited to 'machine/emulation.h')
| -rw-r--r-- | machine/emulation.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/machine/emulation.h b/machine/emulation.h index f1a71ec..b8712b5 100644 --- a/machine/emulation.h +++ b/machine/emulation.h @@ -11,8 +11,8 @@ typedef void (*emulation_func)(uintptr_t*, uintptr_t, uintptr_t, uintptr_t, insn void misaligned_load_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc); void misaligned_store_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc); -void redirect_trap(uintptr_t epc, uintptr_t mstatus); -DECLARE_EMULATION_FUNC(truly_illegal_insn); +void redirect_trap(uintptr_t epc, uintptr_t mstatus) __attribute__((noreturn)); +DECLARE_EMULATION_FUNC(truly_illegal_insn) __attribute__((noreturn)); #define GET_REG(insn, pos, regs) ({ \ int mask = (1 << (5+LOG_REGBYTES)) - (1 << LOG_REGBYTES); \ |