diff options
Diffstat (limited to 'sim/ppc/psim.h')
| -rw-r--r-- | sim/ppc/psim.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sim/ppc/psim.h b/sim/ppc/psim.h index 2070cbf..6ed91cd 100644 --- a/sim/ppc/psim.h +++ b/sim/ppc/psim.h @@ -93,7 +93,7 @@ extern void psim_run extern void psim_restart (psim *system, - int cpu_nr); + int cpu_nr) ATTRIBUTE_NORETURN; extern void psim_set_halt_and_restart (psim *system, @@ -110,7 +110,7 @@ extern void psim_halt (psim *system, int cpu_nr, stop_reason reason, - int signal); + int signal) ATTRIBUTE_NORETURN; extern int psim_last_cpu (psim *system); |