Mark cpu_{halt,reset}() as __dead2 as appropriate.

This commit is contained in:
Marius Strobl 2012-01-27 22:04:43 +00:00
parent c7edae4bc2
commit 733ce5d25e

View File

@ -53,8 +53,8 @@ extern char btext[];
extern char etext[];
void cheetah_init(u_int cpu_impl);
void cpu_halt(void);
void cpu_reset(void);
void cpu_halt(void) __dead2;
void cpu_reset(void) __dead2;
void fork_trampoline(void);
void swi_vm(void *v);
void zeus_init(u_int cpu_impl);