sanchayanmaity/minix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Fixed warning noreturn function returns in arch_system.c

Browse source
This commit is contained in:
Tomas Hruby 2010-08-06 12:48:26 +00:00
parent 58654acf08
commit f7ef192c02
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
kernel/arch/i386/arch_system.c
View file

@ -30,7 +30,7 @@
PRIVATE int osfxsr_feature; /* FXSAVE/FXRSTOR instructions support (SSEx) */
extern void poweroff_jmp();
extern __dead void poweroff_jmp();
extern void poweroff16();
extern void poweroff16_end();
@ -48,7 +48,7 @@ PUBLIC __dead void arch_monitor(void)
monitor();
}
PUBLIC void arch_bios_poweroff(void)
PRIVATE __dead void arch_bios_poweroff(void)
{
u32_t cr0;
@ -148,6 +148,8 @@ PUBLIC __dead void arch_shutdown(const int how)
SOFT_RESET_FLAG_SIZE);
reset();
}
NOT_REACHABLE;
}
/* address of a.out headers, set in mpx386.s */

1
kernel/proto.h
View file

@ -171,7 +171,6 @@ _PROTOTYPE( void arch_init, (void) );
_PROTOTYPE( void ser_putc, (char) );
_PROTOTYPE( __dead void arch_shutdown, (int) );
_PROTOTYPE( __dead void arch_monitor, (void) );
_PROTOTYPE( void arch_bios_poweroff, (void) );
_PROTOTYPE( void arch_get_aout_headers, (int i, struct exec *h) );
_PROTOTYPE( void restore_user_context, (struct proc * p) );
_PROTOTYPE( void read_tsc, (unsigned long *high, unsigned long *low) );